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 3519-3520
(documentation QuaternaryPredicate JapaneseLanguage "Predicates の Class は、正確に4つの引数を必要とする。")	japanese_format.kif 655-656
(subclass QuaternaryPredicate InheritableRelation)	Merge.kif 3517-3517	Pr�dicat quaternaire est une sous-classe de InheritableRelation
(subclass QuaternaryPredicate Predicate)	Merge.kif 3515-3515	Pr�dicat quaternaire est une sous-classe de predicat
(subclass QuaternaryPredicate QuaternaryRelation)	Merge.kif 3516-3516	Pr�dicat quaternaire est une sous-classe de relation quaternaire

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	agreementClause est une instance de pr�dicat quaternaire
(instance beforeOnPath QuaternaryPredicate)	Mid-level-ontology.kif 31666-31666	beforeOnPath est une instance de pr�dicat quaternaire
(instance betweenOnPath QuaternaryPredicate)	Merge.kif 4195-4195	betweenOnPath est une instance de pr�dicat quaternaire
(instance capabilityDuring QuaternaryPredicate)	Dining.kif 912-912	capabilityDuring est une instance de pr�dicat quaternaire
(instance capableAtLocation QuaternaryPredicate)	Transportation.kif 3213-3213	capableAtLocation est une instance de pr�dicat quaternaire
(instance chiefOfDiplomaticMission QuaternaryPredicate)	Government.kif 4404-4404	chiefOfDiplomaticMission est une instance de pr�dicat quaternaire
(instance comparativeArea QuaternaryPredicate)	Geography.kif 811-811	comparativeArea est une instance de pr�dicat quaternaire
(instance concentration QuaternaryPredicate)	Medicine.kif 223-223	concentration est une instance de pr�dicat quaternaire
(instance diplomaticRepresentativeInRole QuaternaryPredicate)	Government.kif 4416-4416	diplomaticRepresentativeInRole est une instance de pr�dicat quaternaire
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate)	Economy.kif 2265-2265	electricityFractionFromSourceInPeriod est une instance de pr�dicat quaternaire
(instance exportPartnerByFractionInPeriod QuaternaryPredicate)	Economy.kif 2758-2758	exportPartnerByFractionInPeriod est une instance de pr�dicat quaternaire
(instance exportPartnerByRankInPeriod QuaternaryPredicate)	Economy.kif 2728-2728	exportPartnerByRankInPeriod est une instance de pr�dicat quaternaire
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate)	ComputerInput.kif 2966-2966	grossMerchandiseBoughtInPeriod est une instance de pr�dicat quaternaire
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate)	ComputerInput.kif 2995-2995	grossMerchandiseSoldInPeriod est une instance de pr�dicat quaternaire
(instance importPartnerByFractionInPeriod QuaternaryPredicate)	Economy.kif 3048-3048	importPartnerByFractionInPeriod est une instance de pr�dicat quaternaire
(instance importPartnerByRankInPeriod QuaternaryPredicate)	Economy.kif 3018-3018	importPartnerByRankInPeriod est une instance de pr�dicat quaternaire
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate)	Economy.kif 1510-1510	laborForceFractionByOccupationInPeriod est une instance de pr�dicat quaternaire
(instance monetaryWage QuaternaryPredicate)	Mid-level-ontology.kif 18350-18350	monetaryWage est une instance de pr�dicat quaternaire
(instance observedAtTimeInPlace QuaternaryPredicate)	Justice.kif 30-30	observedAtTimeInPlace est une instance de pr�dicat quaternaire
(instance priceRange QuaternaryPredicate)	Catalog.kif 197-197	priceRange est une instance de pr�dicat quaternaire
(instance publishedPrice QuaternaryPredicate)	Catalog.kif 326-326	publishedPrice est une instance de pr�dicat quaternaire
(instance rentalPrice QuaternaryPredicate)	Catalog.kif 447-447	rentalPrice est une instance de pr�dicat quaternaire

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

Relation est une instance de pr�dicat quaternaire
relation a 4 argument(s)

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: