|
|
   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 17311-17313 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17310-17310 | Role Social e' uma sub-classe de Atributo Relacional |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2514-2514 | Ally e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3815-3815 | Antivaxxer e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22221-22221 | Celebrity e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22347-22347 | Civilian e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 298-298 | CivilianInternee e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 84-84 | Criminal e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 54-54 | DisplacedPerson e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22420-22420 | Dissident e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2461-2461 | Enemy e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 113-113 | Evacuee e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 142-142 | Expellee e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 220-220 | Founder e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 166-166 | HumanSlave e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 80-80 | InternallyDisplacedPerson e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 452-452 | InternetUser e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1778-1778 | Investor e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22236-22236 | Knight e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 51-51 | Mausaharati e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 169-169 | Migrant e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22506-22506 | Militant e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2243-2243 | Nazi e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1386-1386 | PrinceConsort e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 237-237 | Prisoner e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 252-252 | PrisonerOfWar e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1361-1361 | Queen e' uma instancia de Role 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 1803-1803 | O argumento numero 2 de candidateForPosition e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1702-1702 | O argumento numero 3 de electionDatePlannedForPosition e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1711-1711 | O argumento numero 2 de electionForPosition e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1837-1837 | O argumento numero 2 de electionWinner e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1611-1611 | O argumento numero 2 de roleAppointsRole e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1612-1612 | O argumento numero 3 de roleAppointsRole e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1621-1621 | O argumento numero 2 de roleApprovesRole e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1622-1622 | O argumento numero 3 de roleApprovesRole e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1631-1631 | O argumento numero 2 de roleNominatesRole e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1632-1632 | O argumento numero 3 de roleNominatesRole e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1641-1641 | O argumento numero 2 de termLength e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1822-1822 | O argumento numero 2 de voteFractionReceived e' uma instancia de Role Social |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17315-17319 |
|
|
|