MK19 - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MK19

MK19(Mk19)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 636-637	40.0 毫米是 Mk19 的 caliber
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 608-632
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1187-1187
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 607-607	Mk19 是榴弹发射器的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38139-38139
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38138-38138
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2051-2051
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38137-38137

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 648-651	如果设备是 Mk19 的 instance，然后 1.6 公里是那个设备的 effective 范围
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 641-644	如果自身连接物体是 Mk19 的 instance，然后 33.0 公斤是那个自身连接物体的 weight

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1678-1682	如果军车是 AAV 的 instance，然后那个军车是对于 1 的 weapon 携带容量 m2褐变和那个军车是对于 1 的 weapon 携带容量 Mk19
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1701-1706	如果客体是 AAV 的 instance，然后有存在另一个客体这样那个另外客体是 Mk19 的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1977-1982	如果军车是 LCAC 的 instance，然后那个军车是对于 2 的 weapon 携带容量 m2褐变和那个军车是对于 2 的 weapon 携带容量 M60 和那个军车是对于 2 的 weapon 携带容量 Mk19
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 628-633	如果施事体是重MG排的 instance，然后有存在客体这样那个客体是 Mk19 的 instance 和那个施事体 possesses 那个客体

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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