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 3504-3505
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 3502-3502 Quaternary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3500-3500 Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3501-3501 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 14060-14060 agreement clause is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29773-29773 before on path is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4172-4172 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 2682-2682 capable at location is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 4443-4443 chief of diplomatic mission is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Geography.kif 645-645 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 4455-4455 diplomatic representative in role is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2025-2025 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 2518-2518 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 2488-2488 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 2963-2963 GMB is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2992-2992 GMV is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2711-2711 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 2681-2681 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 1385-1385 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 16963-16963 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 3507-3509


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