Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 16179-16179 Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16180-16180 Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7103-7103 Agency is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7113-7113 Entertainment company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7126-7126 Financial company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7146-7146 Insurance company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7174-7174 Transportation company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7212-7212 Partnership is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7276-7276 Restaurant is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7304-7304 Proprietorship is a subclass of business
No TPTP formula. May not be expressible in strict first order. Merge.kif 16188-16188 Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order. Media.kif 1697-1697 Funeral arranger is a subclass of business
No TPTP formula. May not be expressible in strict first order. Media.kif 1702-1702 Crematorium is a subclass of business
No TPTP formula. May not be expressible in strict first order. Dining.kif 65-65 Bakery is a subclass of business


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