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. Mid-level-ontology.kif 8258-8258 SkilledOccupation est une sous-classe de OccupationalRole
No TPTP formula. May not be expressible in strict first order. Sports.kif 446-446 ProfessionalGamePlayer est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Sports.kif 1353-1353 ProfessionalAthlete est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Military.kif 245-245 MilitaryRank est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8282-8282 OccupationalTrade est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8287-8287 Profession est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18860-18860 SalesPosition est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18869-18869 ServicePosition est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18915-18915 EntertainmentProfession est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18928-18928 SportsPosition est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26872-26872 Bartender est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30688-30688 SafetyPosition est une sous-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 667-667 ArtisticOccupation est une sous-classe de SkilledOccupation


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