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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3504-3505
(documentation QuaternaryPredicate JapaneseLanguage "Predicates の Class は、正確に4つの 引数を必要とする。") japanese_format.kif 655-656
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3502-3502 Quaternary predicate is a subclass of inheritable relation
(subclass QuaternaryPredicate Predicate) Merge.kif 3500-3500 Quaternary predicate is a subclass of predicate
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3501-3501 Quaternary predicate is a subclass of quaternary relation

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 15449-15449 agreement clause is an instance of quaternary predicate
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 31425-31425 before on path is an instance of quaternary predicate
(instance betweenOnPath QuaternaryPredicate) Merge.kif 4180-4180 between on path is an instance of quaternary predicate
(instance capabilityDuring QuaternaryPredicate) Dining.kif 912-912 capable during is an instance of quaternary predicate
(instance capableAtLocation QuaternaryPredicate) Transportation.kif 3213-3213 capable at location is an instance of quaternary predicate
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4404-4404 chief of diplomatic mission is an instance of quaternary predicate
(instance comparativeArea QuaternaryPredicate) Geography.kif 641-641 comparative area is an instance of quaternary predicate
(instance concentration QuaternaryPredicate) Medicine.kif 223-223 concentration is an instance of quaternary predicate
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4416-4416 diplomatic representative in role is an instance of quaternary predicate
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate) Economy.kif 2265-2265 electricity fraction from source in period is an instance of quaternary predicate
(instance exportPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2758-2758 export partner by fraction in period is an instance of quaternary predicate
(instance exportPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2728-2728 export partner by rank in period is an instance of quaternary predicate
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) ComputerInput.kif 2966-2966 GMB is an instance of quaternary predicate
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) ComputerInput.kif 2995-2995 GMV is an instance of quaternary predicate
(instance importPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 3048-3048 import partner by fraction in period is an instance of quaternary predicate
(instance importPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 3018-3018 import partner by rank in period is an instance of quaternary predicate
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate) Economy.kif 1510-1510 labor force fraction by occupation in period is an instance of quaternary predicate
(instance monetaryWage QuaternaryPredicate) Mid-level-ontology.kif 18370-18370 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 197-197 price range is an instance of quaternary predicate
(instance publishedPrice QuaternaryPredicate) Catalog.kif 326-326 published price is an instance of quaternary predicate
(instance rentalPrice QuaternaryPredicate) 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
-------------------------


(=>
    (instance ?REL QuaternaryPredicate)
    (valence ?REL 4))		 Merge.kif 3507-3509


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