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. Economy.kif 4051-4054
No TPTP formula. May not be expressible in strict first order. Economy.kif 4049-4049 Tropical fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4056-4056 Avocado is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4063-4063 Banana is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4070-4070 Breadfruit is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4077-4077 Coconut is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4084-4084 Date fruit is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4091-4091 Mango is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4098-4098 Papaw is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4108-4108 Papaya is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4115-4115 Passion fruit is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4122-4122 Pineapple is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4129-4129 Plantain is a subclass of tropical fruit


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