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	QuaternaryPredicate ist eine teilkategorie von InheritableRelation
(subclass QuaternaryPredicate Predicate)	Merge.kif 3500-3500	QuaternaryPredicate ist eine teilkategorie von Predicate
(subclass QuaternaryPredicate QuaternaryRelation)	Merge.kif 3501-3501	QuaternaryPredicate ist eine teilkategorie von QuaternaryRelation

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 ist ein fall von QuaternaryPredicate %n{nicht}
(instance beforeOnPath QuaternaryPredicate)	Mid-level-ontology.kif 29773-29773	beforeOnPath ist ein fall von QuaternaryPredicate %n{nicht}
(instance betweenOnPath QuaternaryPredicate)	Merge.kif 4172-4172	betweenOnPath ist ein fall von QuaternaryPredicate %n{nicht}
(instance capabilityDuring QuaternaryPredicate)	Dining.kif 912-912	capabilityDuring ist ein fall von QuaternaryPredicate %n{nicht}
(instance capableAtLocation QuaternaryPredicate)	Transportation.kif 2682-2682	capableAtLocation ist ein fall von QuaternaryPredicate %n{nicht}
(instance chiefOfDiplomaticMission QuaternaryPredicate)	Government.kif 4443-4443	chiefOfDiplomaticMission ist ein fall von QuaternaryPredicate %n{nicht}
(instance comparativeArea QuaternaryPredicate)	Geography.kif 645-645	comparativeArea ist ein fall von QuaternaryPredicate %n{nicht}
(instance concentration QuaternaryPredicate)	Medicine.kif 223-223	concentration ist ein fall von QuaternaryPredicate %n{nicht}
(instance diplomaticRepresentativeInRole QuaternaryPredicate)	Government.kif 4455-4455	diplomaticRepresentativeInRole ist ein fall von QuaternaryPredicate %n{nicht}
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate)	Economy.kif 2025-2025	electricityFractionFromSourceInPeriod ist ein fall von QuaternaryPredicate %n{nicht}
(instance exportPartnerByFractionInPeriod QuaternaryPredicate)	Economy.kif 2518-2518	exportPartnerByFractionInPeriod ist ein fall von QuaternaryPredicate %n{nicht}
(instance exportPartnerByRankInPeriod QuaternaryPredicate)	Economy.kif 2488-2488	exportPartnerByRankInPeriod ist ein fall von QuaternaryPredicate %n{nicht}
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate)	ComputerInput.kif 2963-2963	grossMerchandiseBoughtInPeriod ist ein fall von QuaternaryPredicate %n{nicht}
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate)	ComputerInput.kif 2992-2992	grossMerchandiseSoldInPeriod ist ein fall von QuaternaryPredicate %n{nicht}
(instance importPartnerByFractionInPeriod QuaternaryPredicate)	Economy.kif 2711-2711	importPartnerByFractionInPeriod ist ein fall von QuaternaryPredicate %n{nicht}
(instance importPartnerByRankInPeriod QuaternaryPredicate)	Economy.kif 2681-2681	importPartnerByRankInPeriod ist ein fall von QuaternaryPredicate %n{nicht}
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate)	Economy.kif 1385-1385	laborForceFractionByOccupationInPeriod ist ein fall von QuaternaryPredicate %n{nicht}
(instance monetaryWage QuaternaryPredicate)	Mid-level-ontology.kif 16963-16963	monetaryWage ist ein fall von QuaternaryPredicate %n{nicht}
(instance observedAtTimeInPlace QuaternaryPredicate)	Justice.kif 30-30	observedAtTimeInPlace ist ein fall von QuaternaryPredicate %n{nicht}
(instance priceRange QuaternaryPredicate)	Catalog.kif 197-197	priceRange ist ein fall von QuaternaryPredicate %n{nicht}
(instance publishedPrice QuaternaryPredicate)	Catalog.kif 326-326	publishedPrice ist ein fall von QuaternaryPredicate %n{nicht}
(instance rentalPrice QuaternaryPredicate)	Catalog.kif 447-447	rentalPrice ist ein fall von QuaternaryPredicate %n{nicht}

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

Wenn Relation ist ein fall von QuaternaryPredicate %n{nicht},
dann ** Relation hat 4 argument(e)

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: