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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agency
Agency(agency)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6753-6754
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10388-10388
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10387-10387
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9891-9891
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6752-6752 Agency is a subclass of Business

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5819-5819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5818-5818
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5817-5817

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6755-6759


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