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 15952-15952 Group of people is a subclass of group
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7200-7200 Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15388-15388 Dramatic cast is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15509-15509 Jury is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15521-15521 Criminal gang is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17878-17878 Musical group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25443-25443 Public is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30005-30005 NationalPerson is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15962-15962 Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15977-15977 Family group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15990-15990 Social unit is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16305-16305 Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16310-16310 Belief group is a subclass of group of people


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