SocialRole(social role) |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 177-177 | Refugee is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 185-185 | Stateless person is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22595-22595 | Student is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2135-2135 | Terrorist is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22605-22605 | Tourist is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17272-17272 | Unemployed person is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22198-22198 | Veteran is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22302-22302 | Widowed woman is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22233-22233 | Occupational role is a subclass of social role |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17286-17286 | Position is a subclass of social role |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1239-1239 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1699-1699 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 917-917 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 450-450 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 453-453 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2601-2601 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 869-869 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 455-455 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 489-489 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 938-938 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 454-454 |