Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PartialOrderingRelation

Sigma KEE - PartialOrderingRelation
PartialOrderingRelation(partial ordering relation)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1854-1855
No TPTP formula. May not be expressible in strict first order. Merge.kif 2310-2312
No TPTP formula. May not be expressible in strict first order. Merge.kif 2306-2306 Partial ordering relation is a subclass of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2307-2307 Partial ordering relation is a subclass of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2308-2308 Partial ordering relation is a subclass of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2305-2305 Partial ordering relation is a subclass of transitive relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22215-22215 abstract part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8042-8042 before or equal is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1699-1699 coordinates is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17550-17550 geometric part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1814-1814 greater than or equal to is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3222-3222 initial list is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1797-1797 less than or equal to is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 890-890 part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 670-670 sub attribute is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1241-1241 sub collection is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Languages.kif 14476-14476 subLanguage is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3047-3047 sub list is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16460-16460 sub organization is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10016-10016 sub process is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 128-128 subclass is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 168-168 subrelation is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4422-4422 subsumes content class is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4479-4479 subsumes content instance is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7835-7835 temporal part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2314-2314 Total ordering relation is a subclass of partial ordering relation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 901-901
No TPTP formula. May not be expressible in strict first order. english_format.kif 1009-1009


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

Show without tree


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