AbsoluteDud - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AbsoluteDud

AbsoluteDud(absolute dud)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1392-1393
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1391-1391	Absolute dud is a subclass of nuclear weapon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5130-5130
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5129-5129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5128-5128

antecedent

No TPTP formula. May not be expressible in strict first order.

MilitaryDevices.kif 1398-1407

If an entity is an instance of absolute dud and a process is an instance of taking off and the entity is a patient of the process,
then there doesn't exist another process such that the other process is an instance of explosion and the entity is a patient of the other process

consequent

No TPTP formula. May not be expressible in strict first order.

MilitaryDevices.kif 1409-1418

If a process is an instance of taking off and an entity is a patient of the process and there doesn't exist another process such that the other process is an instance of explosion and the entity is a patient of the other process,
then the entity is an instance of absolute dud

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