TreeView Knowledge Base Browser - QuaternaryPredicate

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	4進述語は InheritableRelation の subclass では %n
(subclass QuaternaryPredicate Predicate)	Merge.kif 3500-3500	4進述語は述語の subclass では %n
(subclass QuaternaryPredicate QuaternaryRelation)	Merge.kif 3501-3501	4進述語は 4変数関係の subclass では %n

appearance as argument number 2

(format ChineseLanguage QuaternaryPredicate "%1 %n 是对于 %3 和 %4 的 quaternary 谓语")	domainEnglishFormat.kif 2087-2087
(format ChineseTraditionalLanguage QuaternaryPredicate "%1 %n 是對於 %3 和 %4 的 quaternary 謂語")	domainEnglishFormat.kif 2086-2086
(format EnglishLanguage QuaternaryPredicate "%1 is %n quaternary predicate %2 for %3 with %4")	domainEnglishFormat.kif 2085-2085
(instance agreementClause QuaternaryPredicate)	Mid-level-ontology.kif 14060-14060	agreementClause は 4進述語の instance では %n
(instance beforeOnPath QuaternaryPredicate)	Mid-level-ontology.kif 29773-29773	beforeOnPath は 4進述語の instance では %n
(instance betweenOnPath QuaternaryPredicate)	Merge.kif 4172-4172	betweenOnPath は 4進述語の instance では %n
(instance capabilityDuring QuaternaryPredicate)	Dining.kif 912-912	capabilityDuring は 4進述語の instance では %n
(instance capableAtLocation QuaternaryPredicate)	Transportation.kif 2682-2682	capableAtLocation は 4進述語の instance では %n
(instance chiefOfDiplomaticMission QuaternaryPredicate)	Government.kif 4443-4443	chiefOfDiplomaticMission は 4進述語の instance では %n
(instance comparativeArea QuaternaryPredicate)	Geography.kif 645-645	comparativeArea は 4進述語の instance では %n
(instance concentration QuaternaryPredicate)	Medicine.kif 223-223	concentration は 4進述語の instance では %n
(instance diplomaticRepresentativeInRole QuaternaryPredicate)	Government.kif 4455-4455	diplomaticRepresentativeInRole は 4進述語の instance では %n
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate)	Economy.kif 2025-2025	electricityFractionFromSourceInPeriod は 4進述語の instance では %n
(instance exportPartnerByFractionInPeriod QuaternaryPredicate)	Economy.kif 2518-2518	exportPartnerByFractionInPeriod は 4進述語の instance では %n
(instance exportPartnerByRankInPeriod QuaternaryPredicate)	Economy.kif 2488-2488	exportPartnerByRankInPeriod は 4進述語の instance では %n
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate)	ComputerInput.kif 2963-2963	grossMerchandiseBoughtInPeriod は 4進述語の instance では %n
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate)	ComputerInput.kif 2992-2992	grossMerchandiseSoldInPeriod は 4進述語の instance では %n
(instance importPartnerByFractionInPeriod QuaternaryPredicate)	Economy.kif 2711-2711	importPartnerByFractionInPeriod は 4進述語の instance では %n
(instance importPartnerByRankInPeriod QuaternaryPredicate)	Economy.kif 2681-2681	importPartnerByRankInPeriod は 4進述語の instance では %n
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate)	Economy.kif 1385-1385	laborForceFractionByOccupationInPeriod は 4進述語の instance では %n
(instance monetaryWage QuaternaryPredicate)	Mid-level-ontology.kif 16963-16963	monetaryWage は 4進述語の instance では %n
(instance observedAtTimeInPlace QuaternaryPredicate)	Justice.kif 30-30	observedAtTimeInPlace は 4進述語の instance では %n
(instance priceRange QuaternaryPredicate)	Catalog.kif 197-197	priceRange は 4進述語の instance では %n
(instance publishedPrice QuaternaryPredicate)	Catalog.kif 326-326	publishedPrice は 4進述語の instance では %n
(instance rentalPrice QuaternaryPredicate)	Catalog.kif 447-447	rentalPrice は 4進述語の instance では %n

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

関係は 4進述語の instance では %n
関係は 4 の argument(s) を %&has %n{ない}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: