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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IOCOrder

 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 Le nombre 1 argument de subEchelon est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 692-692 Le nombre 2 argument de subEchelon est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 687-687 subEchelon est une instance de pr�dicat binaire

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