TreeView Knowledge Base Browser - LAV

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

If an agent is an instance of LAR unit,
then there exists an object such that the object is an instance of LAV and the agent possesses the object

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