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 20499-20500
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 20498-20498 子類 工作的 and FinancialTransaction

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20502-20502 子類 農業 and 工作的
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20523-20523 子類 銷售 and 工作的
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20519-20519 子類 服務 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 20425-20435
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20534-20542

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 21368-21374
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