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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlantLeaf
PlantLeaf

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9469-9470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9468-9468 PlantLeaf e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9467-9467 PlantLeaf e' uma sub-classe de PlantAnatomicalStructure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65324-65324

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6438-6438 O argumento numero 2 de sheddingLeaves e' uma instancia de PlantLeaf

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6548-6553
No TPTP formula. May not be expressible in strict first order. Geography.kif 6393-6404
No TPTP formula. May not be expressible in strict first order. Economy.kif 4239-4243
No TPTP formula. May not be expressible in strict first order. Economy.kif 4214-4218