Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialRole

Sigma KEE - SocialRole
SocialRole(Role Social)

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners