TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15505-15507
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 15504-15504	Soldier is an instance of government position

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15510-15510	Confederate soldier is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15537-15537	Military officer is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15532-15532	Military private is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 221-221	Standard bearer is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 227-227	US civil war soldier is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 348-348	US military rank e1 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 361-361	US military rank e2 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 374-374	US military rank e3 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 387-387	US military rank e4 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 400-400	US military rank e5 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 413-413	US military rank e6 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 426-426	US military rank e7 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 439-439	US military rank e8 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 452-452	US military rank e9 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 472-472	US military rank e9special is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 485-485	US military rank o1 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 584-584	US military rank o10 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 495-495	US military rank o2 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 505-505	US military rank o3 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 515-515	US military rank o4 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 525-525	US military rank o5 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 535-535	US military rank o6 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 545-545	US military rank o7 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 558-558	US military rank o8 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 571-571	US military rank o9 is a subattribute of 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	If an attribute is an attribute of an agent and the attribute is an instance of commissioned officer rank, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7276-7289	If an agent is an instance of cavalry unit and a time interval is an instance of battle and the agent is an agent of the time interval, then there exist another agent, an entity and another time interval such that soldier is an attribute of the other agent and the other agent is a member of the agent and the other time interval is an instance of transportation and the other agent is an agent of the other time interval and the entity is an instance of vehicle and the entity is a patient of the other time interval and the other time interval takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15543-15552	If military officer is an attribute of an agent, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18673-18684	If veteran is an attribute of an entity holds during a physical, then there exists a time position such that the time position is a part of before the time of existence of the physical and soldier is an attribute of the entity holds during the time position and soldier is an attribute of the entity doesn't hold during the physical

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: