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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3499-3500
(documentation QuaternaryPredicate JapaneseLanguage "Predicates の Class は、正確に4つの 引数を必要とする。") japanese_format.kif 655-656
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3497-3497
(subclass QuaternaryPredicate Predicate) Merge.kif 3495-3495
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3496-3496

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


(format ChineseLanguage QuaternaryPredicate "%1 %n 是 对于 %3 和 %4 的 quaternary 谓语") domainEnglishFormat.kif 2091-2091
(format ChineseTraditionalLanguage QuaternaryPredicate "%1 %n 是 對於 %3 和 %4 的 quaternary 謂語") domainEnglishFormat.kif 2090-2090
(format EnglishLanguage QuaternaryPredicate "%1 is %n quaternary predicate %2 for %3 with %4") domainEnglishFormat.kif 2089-2089
(instance agreementClause QuaternaryPredicate) Mid-level-ontology.kif 14916-14916
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 30691-30691
(instance betweenOnPath QuaternaryPredicate) Merge.kif 4164-4164
(instance capabilityDuring QuaternaryPredicate) Dining.kif 912-912
(instance capableAtLocation QuaternaryPredicate) Transportation.kif 3210-3210
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4405-4405
(instance comparativeArea QuaternaryPredicate) Geography.kif 641-641
(instance concentration QuaternaryPredicate) Medicine.kif 223-223
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4417-4417
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate) Economy.kif 2140-2140
(instance exportPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2633-2633
(instance exportPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2603-2603
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) ComputerInput.kif 2963-2963
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) ComputerInput.kif 2992-2992
(instance importPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2926-2926
(instance importPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2896-2896
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate) Economy.kif 1385-1385
(instance monetaryWage QuaternaryPredicate) Mid-level-ontology.kif 17819-17819
(instance observedAtTimeInPlace QuaternaryPredicate) Justice.kif 30-30
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197
(instance publishedPrice QuaternaryPredicate) Catalog.kif 326-326
(instance rentalPrice QuaternaryPredicate) Catalog.kif 447-447

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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