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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuaternaryPredicate

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 3504-3505
(documentation QuaternaryPredicate JapaneseLanguage "Predicates の Class は、正確に4つの 引数を必要とする。") japanese_format.kif 655-656
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3502-3502 四元谓语可继承的关系subclass
(subclass QuaternaryPredicate Predicate) Merge.kif 3500-3500 四元谓语谓语subclass
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3501-3501 四元谓语四元关系subclass

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四元谓语instance
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 29773-29773 beforeOnPath四元谓语instance
(instance betweenOnPath QuaternaryPredicate) Merge.kif 4172-4172 在路径之间四元谓语instance
(instance capabilityDuring QuaternaryPredicate) Dining.kif 912-912 capabilityDuring四元谓语instance
(instance capableAtLocation QuaternaryPredicate) Transportation.kif 2682-2682 能够在位置四元谓语instance
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4443-4443 外交使团团长四元谓语instance
(instance comparativeArea QuaternaryPredicate) Geography.kif 645-645 比较区域四元谓语instance
(instance concentration QuaternaryPredicate) Medicine.kif 223-223 concentration四元谓语instance
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4455-4455 外交代表担任职务四元谓语instance
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate) Economy.kif 2025-2025 来自时期的电力部分四元谓语instance
(instance exportPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2518-2518 出口合作伙伴按期间分数四元谓语instance
(instance exportPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2488-2488 出口合作伙伴按期间排名四元谓语instance
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) ComputerInput.kif 2963-2963 grossMerchandiseBoughtInPeriod四元谓语instance
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) ComputerInput.kif 2992-2992 grossMerchandiseSoldInPeriod四元谓语instance
(instance importPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2711-2711 按期间分数进口合作伙伴四元谓语instance
(instance importPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2681-2681 按期间排名的进口伙伴四元谓语instance
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate) Economy.kif 1385-1385 按职业期间划分的劳动力比例四元谓语instance
(instance monetaryWage QuaternaryPredicate) Mid-level-ontology.kif 16963-16963 货币工资四元谓语instance
(instance observedAtTimeInPlace QuaternaryPredicate) Justice.kif 30-30 在适当的时候观察四元谓语instance
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197 priceRange四元谓语instance
(instance publishedPrice QuaternaryPredicate) Catalog.kif 326-326 publishedPrice四元谓语instance
(instance rentalPrice QuaternaryPredicate) Catalog.kif 447-447 rentalPrice四元谓语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 3507-3509


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