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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Reptile

Sigma KEE - Reptile
Reptile(reptile)
more pictures...
African_chameleon, African_monitor, Agamidae, Alligatoridae, Amblyrhynchus, Amblyrhynchus_cristatus, American_chameleon, Amphisbaena, Amphisbaenia, Amphisbaenidae, Anapsida, Anguidae, Anguis, Anguis_fragilis, Anniellidae, Anolis, Anolis_carolinensis, Apatosaurus_excelsus, Archosauria, Basiliscus, Caiman_sclerops, Callisaurus, Callisaurus_draconoides, Carnosaura, Ceratopsia, Ceratopsidae, Chamaeleo, Chamaeleo_chamaeleon, Chamaeleo_oweni, Chamaeleonidae, Chamaeleontidae, Chelonia, Chelonidae, Cheloniidae, Chihuahuan_spotted_whiptail, Chlamydosaurus, Chlamydosaurus_kingi, Chronoperates, Chronoperates_paradoxus, Cnemidophorus, Cnemidophorus_exsanguis, Cnemidophorus_sexlineatus, Cnemidophorus_tesselatus, Cnemidophorus_tigris, Cnemidophorus_velox, Coleonyx, Cordylidae, Cordylus, Crocodilia, Crocodylia...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3441-3442
No TPTP formula. May not be expressible in strict first order. Merge.kif 14403-14405
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4806-4806
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 27-27
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 26-26
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 28-28
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 29-29
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 30-30
No TPTP formula. May not be expressible in strict first order. Merge.kif 14402-14402 Reptile is a subclass of cold blooded vertebrate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19597-19597 Alligator is a subclass of reptile
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29946-29946 Crocodile is a subclass of reptile
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12043-12043 Snake is a subclass of reptile
No TPTP formula. May not be expressible in strict first order. Economy.kif 4399-4399 Turtle is a subclass of reptile
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1003-1003
No TPTP formula. May not be expressible in strict first order. english_format.kif 1218-1218

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14286-14286 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile

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


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


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