TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18966-18968
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 742-742
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18965-18965	Soldier e' uma instancia de GovernmentPosition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18971-18971	ConfederateSoldier e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18998-18998	MilitaryOfficer e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18993-18993	MilitaryPrivate e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 221-221	StandardBearer e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 227-227	USCivilWarSoldier e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 348-348	USMilitaryRankE1 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 361-361	USMilitaryRankE2 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 374-374	USMilitaryRankE3 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 387-387	USMilitaryRankE4 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 400-400	USMilitaryRankE5 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 413-413	USMilitaryRankE6 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 426-426	USMilitaryRankE7 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 439-439	USMilitaryRankE8 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 452-452	USMilitaryRankE9 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 472-472	USMilitaryRankE9special e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 485-485	USMilitaryRankO1 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 584-584	USMilitaryRankO10 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 495-495	USMilitaryRankO2 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 505-505	USMilitaryRankO3 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 515-515	USMilitaryRankO4 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 525-525	USMilitaryRankO5 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 535-535	USMilitaryRankO6 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 545-545	USMilitaryRankO7 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 558-558	USMilitaryRankO8 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 571-571	USMilitaryRankO9 e' um sub-atributo de Soldier

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de CommissionedOfficerRank Processo Objeto Processo e' uma instancia de Administrar Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de MilitaryOrganization Soldier e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	AutonomousAgent e' uma instancia de CavalryUnit Intervalo Temporal e' uma instancia de Batalha Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent Entidade and Intervalo Temporal Soldier e' um atributo de AutonomousAgent AutonomousAgent e' membro de AutonomousAgent Intervalo Temporal e' uma instancia de Transporte Intervalo Temporal e' um agente de AutonomousAgent Entidade e' uma instancia de Vehicle Entidade e' um patient de Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19004-19013	MilitaryOfficer e' um atributo de AutonomousAgent Processo Objeto Processo e' uma instancia de Administrar Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de MilitaryOrganization Soldier e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22203-22214	Veteran e' um atributo de Entidade vale durante Fisico Posicao Temporal Posicao Temporal e' uma &parte de antes de tempo de existencia de Fisico Soldier e' um atributo de Entidade vale durante Posicao Temporal Soldier e' um atributo de Entidade vale durante Fisico

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

KB Term:			Term intersection

English Word: