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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuaternaryPredicate

Sigma KEE - QuaternaryPredicate
QuaternaryPredicate

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 3438-3439
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3436-3436
(subclass QuaternaryPredicate Predicate) Merge.kif 3434-3434
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3435-3435

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 13530-13530
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 29185-29185
(instance betweenOnPath QuaternaryPredicate) Merge.kif 4088-4088
(instance capabilityDuring QuaternaryPredicate) Dining.kif 865-865
(instance capableAtLocation QuaternaryPredicate) Transportation.kif 2689-2689
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4435-4435
(instance comparativeArea QuaternaryPredicate) Geography.kif 652-652
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4447-4447
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate) Economy.kif 2036-2036
(instance exportPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2528-2528
(instance exportPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2498-2498
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) ComputerInput.kif 2960-2960
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) ComputerInput.kif 2989-2989
(instance importPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2721-2721
(instance importPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2691-2691
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate) Economy.kif 1396-1396
(instance monetaryWage QuaternaryPredicate) Mid-level-ontology.kif 16406-16406
(instance observedAtTimeInPlace QuaternaryPredicate) Justice.kif 30-30
(instance priceRange QuaternaryPredicate) Catalog.kif 192-192
(instance publishedPrice QuaternaryPredicate) Catalog.kif 321-321
(instance rentalPrice QuaternaryPredicate) Catalog.kif 442-442
(instance rents QuaternaryPredicate) Mid-level-ontology.kif 29394-29394

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


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