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

Formal Language: 



KB Term:  Term intersection
English Word: 

  naturalResourceTypeInArea

 Sigma KEE - naturalResourceTypeInArea
naturalResourceTypeInArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1985-1987
No TPTP formula. May not be expressible in strict first order. Geography.kif 1982-1982 Le nombre 1 argument de naturalResourceTypeInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order. Geography.kif 1983-1983 Le nombre 2 argument de naturalResourceTypeInArea est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 1981-1981 naturalResourceTypeInArea est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1787-1787
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1786-1786
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1785-1785
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39903-39903
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39902-39902
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39901-39901

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