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 18018-18019
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 18017-18017 翻耕 是 挖掘 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18020-18020 翻耕 是 有意图过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18021-18021 翻耕 是 表面变化 的 subclass

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 18023-18027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18029-18034


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