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 3504-3505
(documentation QuaternaryPredicate JapaneseLanguage "Predicates の Class は、正確に4つの 引数を必要とする。") japanese_format.kif 655-656
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3502-3502 子類 QuaternaryPredicate and 可繼承的關係
(subclass QuaternaryPredicate Predicate) Merge.kif 3500-3500 子類 QuaternaryPredicate and Predicate
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3501-3501 子類 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 14060-14060 例 agreementClause and QuaternaryPredicate
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 29773-29773 例 beforeOnPath and QuaternaryPredicate
(instance betweenOnPath QuaternaryPredicate) Merge.kif 4172-4172 例 在路徑之間 and QuaternaryPredicate
(instance capabilityDuring QuaternaryPredicate) Dining.kif 912-912 例 capabilityDuring and QuaternaryPredicate
(instance capableAtLocation QuaternaryPredicate) Transportation.kif 2682-2682 例 能夠在位置 and QuaternaryPredicate
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4443-4443 例 外交使團團長 and QuaternaryPredicate
(instance comparativeArea QuaternaryPredicate) Geography.kif 645-645 例 比較區​​域 and QuaternaryPredicate
(instance concentration QuaternaryPredicate) Medicine.kif 223-223 例 concentration and QuaternaryPredicate
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4455-4455 例 外交代表擔任職務 and QuaternaryPredicate
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate) Economy.kif 2025-2025 例 來自時期的電力部分 and QuaternaryPredicate
(instance exportPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2518-2518 例 出口合作夥伴按期間分數 and QuaternaryPredicate
(instance exportPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2488-2488 例 出口合作夥伴按期間排名 and QuaternaryPredicate
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) ComputerInput.kif 2963-2963 例 grossMerchandiseBoughtInPeriod and QuaternaryPredicate
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) ComputerInput.kif 2992-2992 例 grossMerchandiseSoldInPeriod and QuaternaryPredicate
(instance importPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2711-2711 例 按期間分數進口合作夥伴 and QuaternaryPredicate
(instance importPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2681-2681 例 按期間排名的進口夥伴 and QuaternaryPredicate
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate) Economy.kif 1385-1385 例 按職業期間劃分的勞動力比例 and QuaternaryPredicate
(instance monetaryWage QuaternaryPredicate) Mid-level-ontology.kif 16963-16963 例 貨幣工資 and QuaternaryPredicate
(instance observedAtTimeInPlace QuaternaryPredicate) Justice.kif 30-30 例 在適當的時候觀察 and QuaternaryPredicate
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197 例 priceRange and QuaternaryPredicate
(instance publishedPrice QuaternaryPredicate) Catalog.kif 326-326 例 publishedPrice and QuaternaryPredicate
(instance rentalPrice QuaternaryPredicate) Catalog.kif 447-447 例 rentalPrice 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 3507-3509


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