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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LAV

Sigma KEE - LAV
LAV(LAV)

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1510-1518
No TPTP formula. May not be expressible in strict first order. pictureList.kif 545-545
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1509-1509 LAV is a subclass of APC

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1520-1520 LAV25 is a subclass of LAV
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33521-33521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33520-33520
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33519-33519
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2081-2081

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 532-537


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