appearance as argument number 2

(instance subLanguage PartialOrderingRelation)	Languages.kif 14476-14476	sub language is an instance of partial ordering relation
(instance subclass PartialOrderingRelation)	Merge.kif 130-130	subclass is an instance of partial ordering relation
(instance subrelation PartialOrderingRelation)	Merge.kif 164-164	subrelation is an instance of partial ordering relation
(instance subAttribute PartialOrderingRelation)	Merge.kif 674-674	sub attribute is an instance of partial ordering relation
(instance part PartialOrderingRelation)	Merge.kif 923-923	part is an instance of partial ordering relation
(instance subCollection PartialOrderingRelation)	Merge.kif 1324-1324	sub collection is an instance of partial ordering relation
(instance lessThanOrEqualTo PartialOrderingRelation)	Merge.kif 1891-1891	less than or equal to is an instance of partial ordering relation
(instance greaterThanOrEqualTo PartialOrderingRelation)	Merge.kif 1908-1908	greater than or equal to is an instance of partial ordering relation
(subclass TotalOrderingRelation PartialOrderingRelation)	Merge.kif 2409-2409	Total ordering relation is a subclass of partial ordering relation
(instance subList PartialOrderingRelation)	Merge.kif 3156-3156	sub list is an instance of partial ordering relation
(instance initialList PartialOrderingRelation)	Merge.kif 3330-3330	initial list is an instance of partial ordering relation
(instance subProcess PartialOrderingRelation)	Merge.kif 3790-3790	sub process is an instance of partial ordering relation
(instance subsumesContentClass PartialOrderingRelation)	Merge.kif 4570-4570	subsumes content class is an instance of partial ordering relation
(instance subsumesContentInstance PartialOrderingRelation)	Merge.kif 4627-4627	subsumes content instance is an instance of partial ordering relation
(instance temporalPart PartialOrderingRelation)	Merge.kif 8036-8036	temporal part is an instance of partial ordering relation
(instance beforeOrEqual PartialOrderingRelation)	Merge.kif 8271-8271	before or equal is an instance of partial ordering relation
(instance subOrganization PartialOrderingRelation)	Merge.kif 16939-16939	sub organization is an instance of partial ordering relation
(instance geometricPart PartialOrderingRelation)	Merge.kif 18022-18022	geometric part is an instance of partial ordering relation
(instance abstractPart PartialOrderingRelation)	Mid-level-ontology.kif 25153-25153	part is an instance of partial ordering relation
(instance coordinates PartialOrderingRelation)	MilitaryProcesses.kif 1718-1718	coordinates is an instance of partial ordering relation
(termFormat EnglishLanguage PartialOrderingRelation "partial ordering relation")	english_format.kif 1009-1009	coordinates is an instance of partial ordering relation

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners