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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Working
Working(工作的)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20500-20501
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12176-12176
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12174-12174
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12179-12179
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12180-12180
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12183-12183
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12175-12175
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12182-12182
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12177-12177
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10342-10342
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12178-12178
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12181-12181
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 63-63
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 62-62
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 64-64
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20499-20499 子類 工作的 and FinancialTransaction

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20503-20503 子類 農業 and 工作的
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20524-20524 子類 銷售 and 工作的
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20520-20520 子類 服務 and 工作的
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63465-63465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63464-63464
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63463-63463

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20426-20436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20535-20543

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3373-3380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21369-21375
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1655-1668


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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