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 3380-3381
(subclass QuaternaryPredicate InheritableRelation)	Merge.kif 3378-3378
(subclass QuaternaryPredicate Predicate)	Merge.kif 3376-3376
(subclass QuaternaryPredicate QuaternaryRelation)	Merge.kif 3377-3377

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 11694-11694
(instance beforeOnPath QuaternaryPredicate)	Mid-level-ontology.kif 27980-27980
(instance betweenOnPath QuaternaryPredicate)	Merge.kif 4020-4020
(instance capabilityDuring QuaternaryPredicate)	Dining.kif 865-865
(instance capableAtLocation QuaternaryPredicate)	Transportation.kif 2660-2660
(instance chiefOfDiplomaticMission QuaternaryPredicate)	Government.kif 4374-4374
(instance comparativeArea QuaternaryPredicate)	Geography.kif 644-644
(instance diplomaticRepresentativeInRole QuaternaryPredicate)	Government.kif 4386-4386
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate)	Economy.kif 2029-2029
(instance exportPartnerByFractionInPeriod QuaternaryPredicate)	Economy.kif 2521-2521
(instance exportPartnerByRankInPeriod QuaternaryPredicate)	Economy.kif 2491-2491
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate)	ComputerInput.kif 2927-2927
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate)	ComputerInput.kif 2956-2956
(instance importPartnerByFractionInPeriod QuaternaryPredicate)	Economy.kif 2714-2714
(instance importPartnerByRankInPeriod QuaternaryPredicate)	Economy.kif 2684-2684
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate)	Economy.kif 1391-1391
(instance monetaryWage QuaternaryPredicate)	Mid-level-ontology.kif 14544-14544
(instance observedAtTimeInPlace QuaternaryPredicate)	Justice.kif 30-30
(instance priceRange QuaternaryPredicate)	Catalog.kif 192-192
(instance publishedPrice QuaternaryPredicate)	Catalog.kif 311-311
(instance rentalPrice QuaternaryPredicate)	Catalog.kif 430-430
(instance rents QuaternaryPredicate)	Mid-level-ontology.kif 28182-28182

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 3383-3385

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: