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

Formal Language: 


KB Term:  Term intersection
English Word: 

  QuaternaryPredicate

Sigma KEE - QuaternaryPredicate
QuaternaryPredicate(quaternary predicate)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2015-2016
No TPTP formula. May not be expressible in strict first order. Merge.kif 3519-3520
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 655-656
No TPTP formula. May not be expressible in strict first order. Merge.kif 3517-3517 Quaternary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3515-3515 Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3516-3516 Quaternary predicate is a subclass of quaternary 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. Mid-level-ontology.kif 15431-15431 agreement clause is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31666-31666 before on path is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4195-4195 between on path is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Dining.kif 912-912 capable during is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3213-3213 capable at location is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 4404-4404 chief of diplomatic mission is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Geography.kif 811-811 comparative area is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 223-223 concentration is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 4416-4416 diplomatic representative in role is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2265-2265 electricity fraction from source in period is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2758-2758 export partner by fraction in period is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2728-2728 export partner by rank in period is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2966-2966 GMB is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2995-2995 GMV is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 3048-3048 import partner by fraction in period is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 3018-3018 import partner by rank in period is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 1510-1510 labor force fraction by occupation in period is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18350-18350 monetary wage is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Justice.kif 30-30 observed at time in place is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Catalog.kif 197-197 price range is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Catalog.kif 326-326 published price is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Catalog.kif 447-447 rental price is an instance of quaternary predicate

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3522-3524


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