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 16678-16678 Government organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8342-8342 Coast guard is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8489-8489 Public library is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16659-16659 Public school is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16667-16667 Military organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16703-16703 Government is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16720-16720 Police organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3116-3116 Health department is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1507-1507 Government cabinet is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4696-4696 Diplomatic organization is a subclass of government organization


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