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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuintaryPredicate

Sigma KEE - QuintaryPredicate
QuintaryPredicate(quintary predicate)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2017-2018
No TPTP formula. May not be expressible in strict first order. Merge.kif 3396-3397
No TPTP formula. May not be expressible in strict first order. Merge.kif 3394-3394 Quintary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3392-3392 Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3393-3393 Quintary predicate is a subclass of quintary relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2091-2091
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2090-2090
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2089-2089
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 894-894 component data ID is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21217-21217 plays role in event of type is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 929-929
No TPTP formula. May not be expressible in strict first order. english_format.kif 1070-1070

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3399-3401


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