TreeView Knowledge Base Browser - Terminal

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Terminal

Terminal(terminal)

anode, contact, negative_pole, pole, positive_pole, tangency, terminal

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 817-818
No TPTP formula. May not be expressible in strict first order.	engineering.kif 820-820
No TPTP formula. May not be expressible in strict first order.	engineering.kif 819-819
No TPTP formula. May not be expressible in strict first order.	engineering.kif 821-821	Terminal is a subclass of electrical component

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1068-1068	Base is a subclass of terminal
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1073-1073	Collector is a subclass of terminal
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1077-1077	Emitter is a subclass of terminal
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57530-57530
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57529-57529
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57528-57528

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