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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Working
Working(working)
more pictures...
ball-breaker, ball-buster, chore, freelance, job, serve, staff, task, turn_a_trick, work

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 Working is a subclass of financial transaction

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20503-20503 Farming is a subclass of working
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20524-20524 Sales is a subclass of working
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20520-20520 Serving is a subclass of working
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