TreeView Knowledge Base Browser - hasVariable

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - hasVariable

hasVariable

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 302-302
No TPTP formula. May not be expressible in strict first order.	engineering.kif 306-306	The number 1 argument of has variable is an instance of multipole quantity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 307-307	The number 2 argument of has variable is an instance of multipole variable
No TPTP formula. May not be expressible in strict first order.	engineering.kif 304-304	has variable is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	engineering.kif 303-303	has variable is an instance of single valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 305-305
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27570-27570
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27569-27569
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27568-27568

antecedent

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

engineering.kif 415-424

If a multipole pole has a multipole variable as an across variable and the multipole pole has another multipole variable as a through variable and a multipole quantity has variable the multipole variable and another multipole quantity has variable the other multipole variable and the multipole quantity has dimension a physical dimension and the other multipole quantity has dimension another physical dimension,
then there exists a physical domain such that the physical dimension and the other physical dimension form physical domain the physical domain

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