QuaternaryPredicate - Sigma Knowledge base Browser

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
(subclass QuaternaryPredicate Predicate)	Merge.kif 3500-3500
(subclass QuaternaryPredicate QuaternaryRelation)	Merge.kif 3501-3501

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
(instance beforeOnPath QuaternaryPredicate)	Mid-level-ontology.kif 31425-31425
(instance betweenOnPath QuaternaryPredicate)	Merge.kif 4180-4180
(instance capabilityDuring QuaternaryPredicate)	Dining.kif 912-912
(instance capableAtLocation QuaternaryPredicate)	Transportation.kif 3213-3213
(instance chiefOfDiplomaticMission QuaternaryPredicate)	Government.kif 4404-4404
(instance comparativeArea QuaternaryPredicate)	Geography.kif 641-641
(instance concentration QuaternaryPredicate)	Medicine.kif 223-223
(instance diplomaticRepresentativeInRole QuaternaryPredicate)	Government.kif 4416-4416
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate)	Economy.kif 2265-2265
(instance exportPartnerByFractionInPeriod QuaternaryPredicate)	Economy.kif 2758-2758
(instance exportPartnerByRankInPeriod QuaternaryPredicate)	Economy.kif 2728-2728
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate)	ComputerInput.kif 2966-2966
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate)	ComputerInput.kif 2995-2995
(instance importPartnerByFractionInPeriod QuaternaryPredicate)	Economy.kif 3048-3048
(instance importPartnerByRankInPeriod QuaternaryPredicate)	Economy.kif 3018-3018
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate)	Economy.kif 1510-1510
(instance monetaryWage QuaternaryPredicate)	Mid-level-ontology.kif 18370-18370
(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 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

KB Term:			Term intersection

English Word: