Soldier - Sigma 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	例士兵 and 政府立場

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18971-18971	子屬性同盟軍士兵 and 士兵
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18998-18998	子屬性軍官 and 士兵
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18993-18993	子屬性軍事私人 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 221-221	子屬性標準負擔者 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 227-227	子屬性美國內戰士兵 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 348-348	子屬性美國軍銜e1 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 361-361	子屬性美國軍銜e2 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 374-374	子屬性美國軍銜e3 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 387-387	子屬性美國軍銜e4 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 400-400	子屬性美國軍銜e5 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 413-413	子屬性美國軍銜e6 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 426-426	子屬性美國軍銜e7 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 439-439	子屬性美國軍銜e8 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 452-452	子屬性美國軍銜e9 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 472-472	子屬性美國軍銜e9特別 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 485-485	子屬性美國軍銜o1 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 584-584	子屬性美軍軍銜o10 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 495-495	子屬性美國軍銜o2 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 505-505	子屬性美國軍銜o3 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 515-515	子屬性美國軍銜o4 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 525-525	子屬性美國軍銜o5 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 535-535	子屬性美國軍銜o6 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 545-545	子屬性美國軍銜o7 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 558-558	子屬性美國軍銜o8 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 571-571	子屬性美國軍銜o9 and 士兵

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	attribute AutonomousAgent and Attribute 例 Attribute and 委任軍官級別 Process Object 例 Process and Managing agent Process and AutonomousAgent 患者 Process and Object 例 Object and 軍事組織 attribute Object and 士兵
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	例 AutonomousAgent and 騎兵部隊例 TimeInterval and Battle agent TimeInterval and AutonomousAgent AutonomousAgent Entity and TimeInterval attribute AutonomousAgent and 士兵會員 AutonomousAgent and AutonomousAgent 例 TimeInterval and Transportation agent TimeInterval and AutonomousAgent 例 Entity and 車輛患者 TimeInterval and Entity 期間 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19004-19013	attribute AutonomousAgent and 軍官 Process Object 例 Process and Managing agent Process and AutonomousAgent 患者 Process and Object 例 Object and 軍事組織 attribute Object and 士兵
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22203-22214	持有期間 Physical and attribute entity and 老將 TimePosition 時間部分 TimePosition and 過去何時 Physical 持有期間 TimePosition and attribute entity and 士兵持有期間 Physical and attribute entity and 士兵

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

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: