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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wickering

 Sigma KEE - Wickering
Wickering(条编)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4598-4599
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4600-4600 条编 是 织 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64378-64378
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64379-64379
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64377-64377

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4602-4615

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4499-4504


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