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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Insect
Insect(insect)
Acanthoscelides, Acanthoscelides_obtectus, Acherontia, Acherontia_atropos, Acheta, Acheta_assimilis, Acheta_domestica, Acrididae, Actias, Actias_luna, Adalia, Adalia_bipunctata, Adelges, Adelges_abietis, Adelges_piceae, Adelgidae, Aedes, Aedes_aegypti, Aedes_albopictus, Aleyrodes, Aleyrodidae, Alsophila, Alsophila_pometaria, Amazon_ant, American_blight, American_cockroach, Amphibolips, Anabrus, Anabrus_simplex, Anagasta, Anagasta_kuehniella, Anasa, Anasa_tristis, Andricus, Anisoptera, Anobiidae, Anomala, Anomala_orientalis, Anopheles, Anoplophora_glabripennis, Antheraea, Antheraea_mylitta, Antheraea_pernyi, Antheraea_polyphemus, Anthonomus, Anthonomus_grandis, Anthrenus_scrophulariae, Aphididae, Aphidoidea, Aphis...

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 14676-14677
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4735-4735
No TPTP formula. May not be expressible in strict first order. Merge.kif 14675-14675 Insect is a subclass of arthropod

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 408-408 Insect is a biological agent carrier of yersinia pestis
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13930-13930 Ant insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13937-13937 Bee is a subclass of insect
No TPTP formula. May not be expressible in strict first order. Food.kif 2407-2407 Butterfly is a subclass of insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13944-13944 Caterpillar is a subclass of insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13975-13975 Fly insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13978-13978 Grasshopper is a subclass of insect
No TPTP formula. May not be expressible in strict first order. WMD.kif 1973-1973 Lice is a subclass of insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13985-13985 Mosquito is a subclass of insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13982-13982 Moth is a subclass of insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13991-13991 Queen insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14016-14016 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 983-983 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. english_format.kif 1173-1173 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. french_format.kif 660-660 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 191-191 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. terms-it.txt 194-194 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2344-2344 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 612-612 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 196-196 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 228-228 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. terms-de.txt 487-487 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 681-681 Worker insect is a subclass of insect
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 195-195 Worker insect is a subclass of insect

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14663-14663 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean

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


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


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



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