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 3385-3386
No TPTP formula. May not be expressible in strict first order. Merge.kif 3383-3383 Quaternary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3381-3381 Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3382-3382 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 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. Mid-level-ontology.kif 11696-11696 agreement clause is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27988-27988 beforeOnPath is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4025-4025 between on path is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Dining.kif 865-865 capable during is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2660-2660 capable at location is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 4374-4374 chief of diplomatic mission is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Geography.kif 644-644 comparative area is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 4386-4386 diplomatic representative in role is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2029-2029 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 2521-2521 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 2491-2491 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 2927-2927 GMB is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2956-2956 GMV is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2714-2714 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 2684-2684 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 1391-1391 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 14546-14546 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 192-192 price range is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Catalog.kif 311-311 published price is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Catalog.kif 430-430 rental price is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28190-28190 rents 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 3388-3390


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