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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommercialAgent
CommercialAgent(commercial agent)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3658-3659
No TPTP formula. May not be expressible in strict first order. Merge.kif 15050-15052
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10707-10707
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9969-9969
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10710-10710
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10709-10709
No TPTP formula. May not be expressible in strict first order. Merge.kif 15049-15049 Commercial agent is a subclass of agent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7297-7297 Nonprofit organization is disjoint from commercial agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15055-15055 Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15766-15766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15765-15765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15764-15764

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


No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-121

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6755-6759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7445-7449
No TPTP formula. May not be expressible in strict first order. Merge.kif 11120-11125


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