TreeView Knowledge Base Browser - ResearchingWeaponOfMassDestruction

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ResearchingWeaponOfMassDestruction

Sigma KEE - ResearchingWeaponOfMassDestruction

ResearchingWeaponOfMassDestruction(researching weapon of mass destruction)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 721-722
No TPTP formula. May not be expressible in strict first order.	WMD.kif 720-720	Researching weapon of mass destruction is a subclass of investigating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49604-49604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49603-49603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49602-49602

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 666-671	If an object is an instance of nuclear weapon research facility and a process is an instance of researching weapon of mass destruction and the process is located at the object, then the process includes a reference to nuclear weapon
No TPTP formula. May not be expressible in strict first order.	WMD.kif 724-729	If an entity is an instance of researching weapon of mass destruction, then there exists another entity such that the other entity is an instance of weapon of mass destruction and the entity includes a reference to the other entity

consequent

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

WMD.kif 641-646

If an object is an instance of WMD weapons research facility,
then there exists a process such that the process is an instance of researching weapon of mass destruction and the process is located at 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