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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Soldier
Soldier(士兵)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18993-18995
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 18992-18992 士兵政府立场instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18998-18998 同盟军士兵士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19025-19025 军官士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19020-19020 军事私人士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 221-221 标准负担者士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 227-227 美国内战士兵士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 348-348 美国军衔e1士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 361-361 美国军衔e2士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 374-374 美国军衔e3士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 387-387 美国军衔e4士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 400-400 美国军衔e5士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 413-413 美国军衔e6士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 426-426 美国军衔e7士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 439-439 美国军衔e8士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 452-452 美国军衔e9士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 472-472 美国军衔e9特别士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 485-485 美国军衔o1士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 584-584 美军军衔o10士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 495-495 美国军衔o2士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 505-505 美国军衔o3士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 515-515 美国军衔o4士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 525-525 美国军衔o5士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 535-535 美国军衔o6士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 545-545 美国军衔o7士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 558-558 美国军衔o8士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 571-571 美国军衔o9士兵subAttribute

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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8414-8427
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19031-19040
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22255-22266


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