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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SkilledOccupation

Sigma KEE - SkilledOccupation
SkilledOccupation

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8260-8261
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8258-8258 SkilledOccupation est une sous-classe de OccupationalRole

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8278-8278 UnskilledOccupation est disjoint de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 433-433 AeronauticalEngineer est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 640-640 Astronaut est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3648-3648 Banker est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Dining.kif 824-824 Chef est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18864-18864 ClericalSecretary est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20768-20768 Coach est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20772-20772 GameReferee est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 647-647 Photographer est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 631-631 Pilot est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20924-20924 PoliceOfficer est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20960-20960 PrivateDetective est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18975-18975 Sailor est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 654-654 Tailor est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18856-18856 Treasurer est une instance de SkilledOccupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 667-667 ArtisticOccupation 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 18915-18915 EntertainmentProfession 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. Sports.kif 1353-1353 ProfessionalAthlete est une sous-classe de SkilledOccupation
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. Mid-level-ontology.kif 30688-30688 SafetyPosition 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8263-8270


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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