Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  abstractionLevel

Sigma KEE - abstractionLevel
abstractionLevel

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1619-1619 The number 1 argument of abstraction level is an instance of realtime system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1620-1620 The number 2 argument of abstraction level is an instance of abstraction level attribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1618-1618 abstraction level is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1617-1617 abstraction level is a subrelation of property

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2658-2658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2657-2657
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2656-2656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5172-5172
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5171-5171
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5170-5170


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