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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

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 2095-2095
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2094-2094
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2093-2093
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1005-1005 component data ID is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24912-24912 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 32820-32820 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 929-929 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. english_format.kif 1065-1065 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. french_format.kif 605-605 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 136-136 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. terms-it.txt 139-139 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2290-2290 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 557-557 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 173-173 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. terms-de.txt 432-432 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 626-626 shortage is an instance of quintary predicate
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 140-140 shortage is an instance of quintary predicate

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