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 | 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. | 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 22169-22169 | Celebrity e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22295-22295 | 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 22368-22368 | Dissident e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2459-2459 | 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 173-173 | 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 22184-22184 | 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 22454-22454 | Militant e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2279-2279 | Nazi e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1422-1422 | 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 1397-1397 | Queen e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1411-1411 | QueenConsort 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 1839-1839 | 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 1738-1738 | 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 1747-1747 | 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 1873-1873 | 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 1647-1647 | 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 1648-1648 | 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 1657-1657 | 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 1658-1658 | 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 1667-1667 | 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 1668-1668 | 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 1677-1677 | 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 1858-1858 | 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 17244-17248 |