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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tilling

 Sigma KEE - Tilling
Tilling(翻耕)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18019-18020
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10292-10292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18018-18018 子類 翻耕 and 挖掘
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18021-18021 子類 翻耕 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18022-18022 子類 翻耕 and SurfaceChange

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58100-58100
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58099-58099
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58098-58098

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18024-18028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18030-18035


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