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

関係は 4進述語の instance では
関係は 4 の argument(s) を %&has

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: