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 20527-20528
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 20526-20526 Working est une sous-classe de financial transaction

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20530-20530 Farming est une sous-classe de Working
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20551-20551 Sales est une sous-classe de Working
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20547-20547 Serving est une sous-classe de Working
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63467-63467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63466-63466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63465-63465

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20453-20463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20562-20570

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 21396-21402
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