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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStatesSenate

 Sigma KEE - Insect
Insect(insecte)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3408-3409
No TPTP formula. May not be expressible in strict first order. Merge.kif 14584-14585
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4736-4736
No TPTP formula. May not be expressible in strict first order. Merge.kif 14583-14583 Insecte est une sous-classe de arthropode

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 408-408 biologicalAgentCarrier YersiniaPestis and insecte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12608-12608 AntInsect est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12615-12615 Bee est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. Food.kif 2400-2400 Butterfly est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12622-12622 Caterpillar est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12653-12653 FlyInsect est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12656-12656 Grasshopper est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. WMD.kif 1973-1973 Louse est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12663-12663 Mosquito est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12660-12660 Moth est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12669-12669 QueenInsect est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12694-12694 WorkerInsect est une sous-classe de insecte
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 983-983
No TPTP formula. May not be expressible in strict first order. english_format.kif 1173-1173
No TPTP formula. May not be expressible in strict first order. french_format.kif 660-660
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 191-191
No TPTP formula. May not be expressible in strict first order. terms-it.txt 194-194
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2344-2344
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 612-612
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 196-196
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 228-228
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 681-681
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 195-195

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14571-14571 Arthropode est disjointement decompos� en arachnide, myriapode, insecte, + crustac�

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5385-5394


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