|
|
   SocialRole
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3846-3847 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17240-17242 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17239-17239 | R�le social est une sous-classe de attribut relationnel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3815-3815 | Antivaxxer est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22169-22169 | Celebrity est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22295-22295 | Civilian est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 298-298 | CivilianInternee est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 84-84 | Criminal est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 54-54 | DisplacedPerson est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22368-22368 | Dissident est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2459-2459 | Enemy est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 113-113 | Evacuee est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 142-142 | Expellee est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 220-220 | Founder est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 173-173 | HumanSlave est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 80-80 | InternallyDisplacedPerson est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 452-452 | InternetUser est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1778-1778 | Investor est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22184-22184 | Knight est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 51-51 | Mausaharati est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 169-169 | Migrant est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22454-22454 | Militant est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2279-2279 | Nazi est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1422-1422 | PrinceConsort est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 237-237 | Prisoner est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 252-252 | PrisonerOfWar est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1397-1397 | Queen est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1411-1411 | QueenConsort est une instance de r�le social |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1839-1839 | Le nombre 2 argument de candidateForPosition est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1738-1738 | Le nombre 3 argument de electionDatePlannedForPosition est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1747-1747 | Le nombre 2 argument de electionForPosition est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1873-1873 | Le nombre 2 argument de electionWinner est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1647-1647 | Le nombre 2 argument de roleAppointsRole est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1648-1648 | Le nombre 3 argument de roleAppointsRole est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1657-1657 | Le nombre 2 argument de roleApprovesRole est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1658-1658 | Le nombre 3 argument de roleApprovesRole est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1667-1667 | Le nombre 2 argument de roleNominatesRole est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1668-1668 | Le nombre 3 argument de roleNominatesRole est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1677-1677 | Le nombre 2 argument de termLength est une instance de r�le social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1858-1858 | Le nombre 2 argument de voteFractionReceived est une instance de r�le social |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17244-17248 |
|
|
|