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
-------------------------


(documentation QuaternaryPredicate ChineseLanguage "这是一个需要四个参数的 Predicate Class。") chinese_format.kif 2015-2016
(documentation QuaternaryPredicate EnglishLanguage "The Class of Predicates that require four arguments.") Merge.kif 3427-3428
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3425-3425 Quaternary predicate is a subclass of inheritable relation
(subclass QuaternaryPredicate Predicate) Merge.kif 3423-3423 Quaternary predicate is a subclass of predicate
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3424-3424 Quaternary predicate is a subclass of quaternary relation

appearance as argument number 2
-------------------------


(format ChineseLanguage QuaternaryPredicate "%1 %n 是 对于 %3 和 %4 的 quaternary 谓语") domainEnglishFormat.kif 2087-2087
(format ChineseTraditionalLanguage QuaternaryPredicate "%1 %n 是 對於 %3 和 %4 的 quaternary 謂語") domainEnglishFormat.kif 2086-2086
(format EnglishLanguage QuaternaryPredicate "%1 is %n quaternary predicate %2 for %3 with %4") domainEnglishFormat.kif 2085-2085
(instance agreementClause QuaternaryPredicate) Mid-level-ontology.kif 13386-13386 agreement clause is an instance of quaternary predicate
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 29016-29016 beforeOnPath is an instance of quaternary predicate
(instance betweenOnPath QuaternaryPredicate) Merge.kif 4069-4069 between on path is an instance of quaternary predicate
(instance capabilityDuring QuaternaryPredicate) Dining.kif 865-865 capable during is an instance of quaternary predicate
(instance capableAtLocation QuaternaryPredicate) Transportation.kif 2689-2689 capable at location is an instance of quaternary predicate
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4419-4419 chief of diplomatic mission is an instance of quaternary predicate
(instance comparativeArea QuaternaryPredicate) Geography.kif 644-644 comparative area is an instance of quaternary predicate
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4431-4431 diplomatic representative in role is an instance of quaternary predicate
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate) Economy.kif 2029-2029 electricity fraction from source in period is an instance of quaternary predicate
(instance exportPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2521-2521 export partner by fraction in period is an instance of quaternary predicate
(instance exportPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2491-2491 export partner by rank in period is an instance of quaternary predicate
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) ComputerInput.kif 2992-2992 GMB is an instance of quaternary predicate
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) ComputerInput.kif 3021-3021 GMV is an instance of quaternary predicate
(instance importPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2714-2714 import partner by fraction in period is an instance of quaternary predicate
(instance importPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2684-2684 import partner by rank in period is an instance of quaternary predicate
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate) Economy.kif 1391-1391 labor force fraction by occupation in period is an instance of quaternary predicate
(instance monetaryWage QuaternaryPredicate) Mid-level-ontology.kif 16237-16237 monetary wage is an instance of quaternary predicate
(instance observedAtTimeInPlace QuaternaryPredicate) Justice.kif 30-30 observed at time in place is an instance of quaternary predicate
(instance priceRange QuaternaryPredicate) Catalog.kif 192-192 price range is an instance of quaternary predicate
(instance publishedPrice QuaternaryPredicate) Catalog.kif 320-320 published price is an instance of quaternary predicate
(instance rentalPrice QuaternaryPredicate) Catalog.kif 441-441 rental price is an instance of quaternary predicate
(instance rents QuaternaryPredicate) Mid-level-ontology.kif 29225-29225 rents is an instance of quaternary predicate

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?REL QuaternaryPredicate)
    (valence ?REL 4))
Merge.kif 3430-3432


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