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 5609-5610
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 5608-5608 针线活 是 连接 的 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 5623-5625
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5619-5621
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5612-5617

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