SocialRole(Role Social) |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 177-177 | Refugee e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 185-185 | StatelessPerson e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22596-22596 | Student e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2135-2135 | Terrorist e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22606-22606 | Tourist e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17250-17250 | Unemployed e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22199-22199 | Veteran e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22303-22303 | Widowed e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22234-22234 | OccupationalRole e' uma sub-classe de Role Social |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17264-17264 | Posicao e' uma sub-classe de Role Social |
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 |