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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Amphibian
Amphibian(amphibian)Acris, Acris_crepitans, Acris_gryllus, African_clawed_frog, Alytes, Alytes_obstetricans, Ambystoma, Ambystoma_maculatum, Ambystoma_mexicanum, Ambystoma_talpoideum, Ambystoma_tigrinum, Ambystomatidae, American_green_toad, American_toad, Amphiumidae, Aneides, Aneides_lugubris, Anura, Ascaphidae, Ascaphus, Ascaphus_trui, Batrachia, Batrachoseps, Bombina, Bombina_bombina, Brevicipitidae, Bufo_americanus, Bufo_boreas, Bufo_bufo, Bufo_calamita, Bufo_canorus, Bufo_debilis, Bufo_marinus, Bufo_microscaphus, Bufo_speciosus, Bufo_viridis, Bufonidae, Caeciliadae, Caeciliidae, California_newt, Caudata, Cryptobranchidae, Cryptobranchus, Cryptobranchus_alleganiensis, Desmograthus, Dicamptodon_ensatus, Dicamptodontidae, Discoglossidae, Eleutherodactylus, Eurasian_green_toad...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3414-3415
No TPTP formula. May not be expressible in strict first order. Merge.kif 14557-14559
No TPTP formula. May not be expressible in strict first order. Merge.kif 14556-14556 Amphibian is a subclass of cold blooded vertebrate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14547-14547 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12493-12493 Toad is a subclass of amphibian
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 987-987
No TPTP formula. May not be expressible in strict first order. english_format.kif 1181-1181
No TPTP formula. May not be expressible in strict first order. french_format.kif 664-664
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 195-195
No TPTP formula. May not be expressible in strict first order. terms-it.txt 198-198
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2348-2348
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 616-616
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 200-200
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 232-232
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 685-685
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 199-199

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 313-315


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