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 数量 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 692-692 次梯队 的 2 数量 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 687-687 次梯队 是 二元谓语 的 instance

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