appearance as argument number 2

(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 673-673	sub attribute is an instance of partial ordering relation
(instance part PartialOrderingRelation)	Merge.kif 922-922	part is an instance of partial ordering relation
(instance subCollection PartialOrderingRelation)	Merge.kif 1363-1363	sub collection is an instance of partial ordering relation
(instance lessThanOrEqualTo PartialOrderingRelation)	Merge.kif 1960-1960	less than or equal to is an instance of partial ordering relation
(instance greaterThanOrEqualTo PartialOrderingRelation)	Merge.kif 1977-1977	greater than or equal to is an instance of partial ordering relation
(subclass TotalOrderingRelation PartialOrderingRelation)	Merge.kif 2484-2484	Total ordering relation is a subclass of partial ordering relation
(instance subList PartialOrderingRelation)	Merge.kif 3230-3230	sub list is an instance of partial ordering relation
(instance initialList PartialOrderingRelation)	Merge.kif 3404-3404	initial list is an instance of partial ordering relation
(instance subProcess PartialOrderingRelation)	Merge.kif 3857-3857	sub process is an instance of partial ordering relation
(instance subsumesContentClass PartialOrderingRelation)	Merge.kif 4632-4632	subsumes content class is an instance of partial ordering relation
(instance subsumesContentInstance PartialOrderingRelation)	Merge.kif 4689-4689	subsumes content instance is an instance of partial ordering relation
(instance temporalPart PartialOrderingRelation)	Merge.kif 8105-8105	temporal part is an instance of partial ordering relation
(instance beforeOrEqual PartialOrderingRelation)	Merge.kif 8340-8340	before or equal is an instance of partial ordering relation
(instance subOrganization PartialOrderingRelation)	Merge.kif 17096-17096	sub organization is an instance of partial ordering relation
(instance geometricPart PartialOrderingRelation)	Merge.kif 18176-18176	geometric part is an instance of partial ordering relation
(instance abstractPart PartialOrderingRelation)	Mid-level-ontology.kif 25025-25025	part is an instance of partial ordering relation
(termFormat EnglishLanguage PartialOrderingRelation "partial ordering relation")	english_format.kif 1013-1013	part 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.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners