TreeView Knowledge Base Browser - RTPCRTest

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RTPCRTest

RTPCRTest(Reverse transcription polymerase chain reaction)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1560-1569
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1559-1559	Reverse transcription polymerase chain reaction is a subclass of measuring device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1571-1571
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1572-1572
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1573-1573

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1589-1597	If a process is an instance of measuring and an object is an instrument for the process and the object is an instance of Reverse transcription polymerase chain reaction, then there exists another process such that the other process is an instance of radiating light and the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1575-1587	If a physical is an instance of Reverse transcription polymerase chain reaction, then the physical has the purpose there exist an entity, another entity,, , a third entity and the entityEAS such that the entity is an instance of measuring and the physicalNA is a patient of the entity and the physicalNA is an instance of RNA molecule and the measure of the physicalNA is the entityEAS holds during the third entity and the other entity knows the measure of the physicalNA is the entityEAS holds during the third entity

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