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 3515-3516
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 657-658
No TPTP formula. May not be expressible in strict first order. Merge.kif 3513-3513 Quintary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3511-3511 Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3512-3512 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 896-896 component data ID is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23269-23269 plays role in event of type is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30882-30882 shortage 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 1065-1065
No TPTP formula. May not be expressible in strict first order. french_format.kif 605-605
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 136-136
No TPTP formula. May not be expressible in strict first order. terms-it.txt 139-139
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2290-2290
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 557-557
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 173-173
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 626-626
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 140-140

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3518-3520


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