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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CommercialAgent
CommercialAgent

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 16349-16351
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10684-10684
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9950-9950
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10687-10687
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10686-10686
No TPTP formula. May not be expressible in strict first order. Merge.kif 16348-16348 CommercialAgent ay ang klase mas tiyak sa AutonomousAgent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8775-8775 NonprofitOrganization ay iba ng CommercialAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16354-16354 Business ay ang klase mas tiyak sa CommercialAgent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15777-15777 Business ay ang klase mas tiyak sa CommercialAgent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15776-15776 Business ay ang klase mas tiyak sa CommercialAgent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15775-15775 Business ay ang klase mas tiyak sa CommercialAgent

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


No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 106-125

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8268-8272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8925-8929
No TPTP formula. May not be expressible in strict first order. Merge.kif 12027-12032


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