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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MortarPlatoon

Sigma KEE - MortarPlatoon
MortarPlatoon(迫擊砲排)

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 554-554
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 552-552 子類 迫擊砲排 and

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 565-565 迫擊砲排武器公司sub 梯隊
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38591-38591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38590-38590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38589-38589

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 556-561


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