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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - QuaternaryPredicate
QuaternaryPredicate(4進述語)

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 3519-3520
(documentation QuaternaryPredicate JapaneseLanguage "Predicates の Class は、正確に4つの 引数を必要とする。") japanese_format.kif 655-656
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3517-3517 4進述語InheritableRelationsubclass では
(subclass QuaternaryPredicate Predicate) Merge.kif 3515-3515 4進述語述語subclass では
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3516-3516 4進述語4変数関係subclass では

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 15431-15431 agreementClause4進述語instance では
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 31666-31666 beforeOnPath4進述語instance では
(instance betweenOnPath QuaternaryPredicate) Merge.kif 4195-4195 betweenOnPath4進述語instance では
(instance capabilityDuring QuaternaryPredicate) Dining.kif 912-912 capabilityDuring4進述語instance では
(instance capableAtLocation QuaternaryPredicate) Transportation.kif 3213-3213 capableAtLocation4進述語instance では
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4404-4404 chiefOfDiplomaticMission4進述語instance では
(instance comparativeArea QuaternaryPredicate) Geography.kif 811-811 comparativeArea4進述語instance では
(instance concentration QuaternaryPredicate) Medicine.kif 223-223 concentration4進述語instance では
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4416-4416 diplomaticRepresentativeInRole4進述語instance では
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate) Economy.kif 2265-2265 electricityFractionFromSourceInPeriod4進述語instance では
(instance exportPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2758-2758 exportPartnerByFractionInPeriod4進述語instance では
(instance exportPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2728-2728 exportPartnerByRankInPeriod4進述語instance では
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) ComputerInput.kif 2966-2966 grossMerchandiseBoughtInPeriod4進述語instance では
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) ComputerInput.kif 2995-2995 grossMerchandiseSoldInPeriod4進述語instance では
(instance importPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 3048-3048 importPartnerByFractionInPeriod4進述語instance では
(instance importPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 3018-3018 importPartnerByRankInPeriod4進述語instance では
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate) Economy.kif 1510-1510 laborForceFractionByOccupationInPeriod4進述語instance では
(instance monetaryWage QuaternaryPredicate) Mid-level-ontology.kif 18350-18350 monetaryWage4進述語instance では
(instance observedAtTimeInPlace QuaternaryPredicate) Justice.kif 30-30 observedAtTimeInPlace4進述語instance では
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197 priceRange4進述語instance では
(instance publishedPrice QuaternaryPredicate) Catalog.kif 326-326 publishedPrice4進述語instance では
(instance rentalPrice QuaternaryPredicate) Catalog.kif 447-447 rentalPrice4進述語instance では

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


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