Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31387-31394
No TPTP formula. May not be expressible in strict first order. Merge.kif 221-227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16905-16909
No TPTP formula. May not be expressible in strict first order. Merge.kif 131-131 子类别 的 1 数量 是 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 132-132 子类别 的 2 数量 是 instance


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