TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20537-20539
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 20536-20536	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 20542-20542	Confederate soldier is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20569-20569	Military officer is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20564-20564	Military private is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 298-298	Standard bearer is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 304-304	US civil war soldier is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 425-425	US military rank e1 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 438-438	US military rank e2 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 451-451	US military rank e3 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 464-464	US military rank e4 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 477-477	US military rank e5 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 490-490	US military rank e6 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 503-503	US military rank e7 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 516-516	US military rank e8 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 529-529	US military rank e9 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 549-549	US military rank e9special is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 562-562	US military rank o1 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 661-661	US military rank o10 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 572-572	US military rank o2 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 582-582	US military rank o3 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 592-592	US military rank o4 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 602-602	US military rank o5 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 612-612	US military rank o6 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 622-622	US military rank o7 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 635-635	US military rank o8 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 648-648	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 363-374	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 9593-9606	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 20575-20584	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 23844-23855	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: