BOT:Category:owl:AllDifferent

From Semantic Portal Wiki

Jump to: navigation, search

AUTO-TRANSLATED FROM THE ORIGINAL ONTOLOGY. PLEASE DO NOT MODIFY

direct description

[inferred] Category:rdfs:Resource
[inferred] imported from: owl:AllDifferent (owl)
[inferred] member of: http://www.w3.org/2002/07/owl
[inferred] tag: Category:rdfs:Class
[original] rdf:type: Category:rdfs:Class
[original] rdfs:comment: The class of collections of pairwise different individuals.
[original] rdfs:isDefinedBy: http://www.w3.org/2002/07/owl#
[original] rdfs:label: AllDifferent
[original] rdfs:subClassOf: Category:rdfs:Resource
see also MediaWiki:smw_import_owl

Retrieved from "http://tw.rpi.edu/portal/BOT:Category:owl:AllDifferent"

Category: Rdfs:Resource

Facts about BOT:Category:owl:AllDifferentRDF feed

Imported fromThis property is a special property in this wiki.	owl:AllDifferent (owl) +
Member of	Http://www.w3.org/2002/07/owl +
Rdf:type	Rdfs:Class +
Rdfs:comment	The class of collections of pairwise different individuals.
Rdfs:isDefinedBy	Http://www.w3.org/2002/07/owl +
Rdfs:label	AllDifferent
Rdfs:subClassOf	Rdfs:Resource +
Tag	Rdfs:Class +

Views

Personal tools

Log in

maintenance

Search

Toolbox