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

Formal Language: 


KB Term:  Term intersection
English Word: 

  SelfPoweredDevice

 Sigma KEE - QuaternaryFunction
QuaternaryFunction(quaternary function)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2008-2009
No TPTP formula. May not be expressible in strict first order. Merge.kif 3480-3481
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 647-648
No TPTP formula. May not be expressible in strict first order. Merge.kif 3476-3476 Quaternary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3478-3478 Quaternary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3477-3477 Quaternary function is a subclass of quintary relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2087-2087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2086-2086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2085-2085
No TPTP formula. May not be expressible in strict first order. Cars.kif 1278-1278 Acceleration fn is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1014-1014 Sellers other items is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7643-7643 Street address is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6691-6691 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 924-924 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. english_format.kif 1055-1055 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. french_format.kif 600-600 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 130-130 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. terms-it.txt 133-133 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2285-2285 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 552-552 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 167-167 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. terms-de.txt 426-426 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 621-621 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 134-134 Velocity is an instance of quaternary function

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3483-3485


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