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 O argumento numero 1 de subEchelon e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 692-692 O argumento numero 2 de subEchelon e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 687-687 subEchelon e' uma instancia de Predicado Binario

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 subEchelon Battalion and CompanyMilitary
No TPTP formula. May not be expressible in strict first order. Military.kif 715-715 subEchelon Brigade and Battalion
No TPTP formula. May not be expressible in strict first order. Military.kif 737-737 subEchelon CompanyMilitary and Platoon
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 564-564 subEchelon WeaponsCompany and AntiArmorPlatoon
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 566-566 subEchelon WeaponsCompany and HeavyMGPlatoon
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 565-565 subEchelon WeaponsCompany and MortarPlatoon


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