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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subEchelon

 Sigma KEE - subEchelon
subEchelon

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


No TPTP formula. May not be expressible in strict first order. Military.kif 688-690
No TPTP formula. May not be expressible in strict first order. Military.kif 691-691 域子類 次梯隊, 1 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 692-692 域子類 次梯隊, 2 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 687-687 例 次梯隊 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2387-2387
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2386-2386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2385-2385
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55716-55716
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55715-55715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55714-55714

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 693-700

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 733-733 公司- 軍事 是 營 的 sub 梯隊
No TPTP formula. May not be expressible in strict first order. Military.kif 715-715 營 是 旅 的 sub 梯隊
No TPTP formula. May not be expressible in strict first order. Military.kif 737-737 排 是 公司- 軍事 的 sub 梯隊
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 564-564 反裝甲排 是 武器公司 的 sub 梯隊
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 566-566 重MG排 是 武器公司 的 sub 梯隊
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 565-565 迫擊砲排 是 武器公司 的 sub 梯隊


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