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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Knight
Knight(knight)
more pictures...		carpet_knight, knight

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22185-22186
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6652-6652
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7149-7149
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7150-7150
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7151-7151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7152-7152
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7153-7153
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22184-22184 Knight is an instance of social role

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32707-32707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32706-32706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32705-32705


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