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 4532-4543
No TPTP formula. May not be expressible in strict first order. Economy.kif 4693-4699
No TPTP formula. May not be expressible in strict first order. Economy.kif 4629-4634
No TPTP formula. May not be expressible in strict first order. Economy.kif 4839-4843
No TPTP formula. May not be expressible in strict first order. Merge.kif 15058-15058 Seed est une sous-classe de corps reproducteur
No TPTP formula. May not be expressible in strict first order. Merge.kif 15059-15059 Seed est une sous-classe de PlantAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Food.kif 3391-3391 Sesame est une sous-classe de Seed
No TPTP formula. May not be expressible in strict first order. Economy.kif 4026-4026 CerealGrain est une sous-classe de Seed
No TPTP formula. May not be expressible in strict first order. Economy.kif 4112-4112 Pea est une sous-classe de Seed
No TPTP formula. May not be expressible in strict first order. Economy.kif 4497-4497 NorfolkIslandPineSeed est une sous-classe de Seed
No TPTP formula. May not be expressible in strict first order. Economy.kif 4500-4500 KentiaPalmSeed est une sous-classe de Seed
No TPTP formula. May not be expressible in strict first order. Economy.kif 4503-4503 SunflowerSeed est une sous-classe de Seed
No TPTP formula. May not be expressible in strict first order. Economy.kif 4509-4509 Oilseed est une sous-classe de Seed
No TPTP formula. May not be expressible in strict first order. Economy.kif 4624-4624 CoffeeBean est une sous-classe de Seed
No TPTP formula. May not be expressible in strict first order. Economy.kif 4686-4686 CocoaBean est une sous-classe de Seed


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