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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OccupationalRole

 Sigma KEE - OccupationalRole
OccupationalRole

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22240-22246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22235-22238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22234-22234 OccupationalRole est une sous-classe de r�le social

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22147-22147 BusinessPerson est une instance de OccupationalRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22362-22362 Diplomat est une instance de OccupationalRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22412-22412 GovernmentPerson est une instance de OccupationalRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22459-22459 MilitaryPerson est une instance de OccupationalRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22449-22449 StoreOwner est une instance de OccupationalRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8274-8274 ManualLabor est une sous-classe de OccupationalRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22275-22275 OccupationalDomain est une sous-classe de OccupationalRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8259-8259 SkilledOccupation est une sous-classe de OccupationalRole
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41602-41602
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41601-41601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41600-41600
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 451-451
No TPTP formula. May not be expressible in strict first order. terms-it.txt 454-454
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 456-456
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 490-490
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 455-455

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22248-22252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22260-22273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22254-22258


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