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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sewing

 Sigma KEE - Sewing
Sewing(针线活)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5608-5609
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1979-1979
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5607-5607 针线活 是 连接 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52383-52383
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52382-52382
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52381-52381

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5622-5624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5618-5620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5611-5616

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 657-659


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