Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuaternaryPredicate
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 3385-3386
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3383-3383 subclass QuaternaryPredicate and InheritableRelation
(subclass QuaternaryPredicate Predicate) Merge.kif 3381-3381 subclass QuaternaryPredicate and Predicate
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3382-3382 subclass QuaternaryPredicate and 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 11696-11696 instance agreementClause and QuaternaryPredicate
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 27988-27988 instance beforeOnPath and QuaternaryPredicate
(instance betweenOnPath QuaternaryPredicate) Merge.kif 4025-4025 instance betweenOnPath and QuaternaryPredicate
(instance capabilityDuring QuaternaryPredicate) Dining.kif 865-865 instance capabilityDuring and QuaternaryPredicate
(instance capableAtLocation QuaternaryPredicate) Transportation.kif 2660-2660 instance capableAtLocation and QuaternaryPredicate
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4374-4374 instance chiefOfDiplomaticMission and QuaternaryPredicate
(instance comparativeArea QuaternaryPredicate) Geography.kif 644-644 instance comparativeArea and QuaternaryPredicate
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4386-4386 instance diplomaticRepresentativeInRole and QuaternaryPredicate
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate) Economy.kif 2029-2029 instance electricityFractionFromSourceInPeriod and QuaternaryPredicate
(instance exportPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2521-2521 instance exportPartnerByFractionInPeriod and QuaternaryPredicate
(instance exportPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2491-2491 instance exportPartnerByRankInPeriod and QuaternaryPredicate
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) ComputerInput.kif 2927-2927 instance grossMerchandiseBoughtInPeriod and QuaternaryPredicate
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) ComputerInput.kif 2956-2956 instance grossMerchandiseSoldInPeriod and QuaternaryPredicate
(instance importPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2714-2714 instance importPartnerByFractionInPeriod and QuaternaryPredicate
(instance importPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2684-2684 instance importPartnerByRankInPeriod and QuaternaryPredicate
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate) Economy.kif 1391-1391 instance laborForceFractionByOccupationInPeriod and QuaternaryPredicate
(instance monetaryWage QuaternaryPredicate) Mid-level-ontology.kif 14546-14546 instance monetaryWage and QuaternaryPredicate
(instance observedAtTimeInPlace QuaternaryPredicate) Justice.kif 30-30 instance observedAtTimeInPlace and QuaternaryPredicate
(instance priceRange QuaternaryPredicate) Catalog.kif 192-192 instance priceRange and QuaternaryPredicate
(instance publishedPrice QuaternaryPredicate) Catalog.kif 311-311 instance publishedPrice and QuaternaryPredicate
(instance rentalPrice QuaternaryPredicate) Catalog.kif 430-430 instance rentalPrice and QuaternaryPredicate
(instance rents QuaternaryPredicate) Mid-level-ontology.kif 28190-28190 instance rents and QuaternaryPredicate

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 3388-3390


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