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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuaternaryPredicate
QuaternaryPredicate(Predicado Quaternario)

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 Predicado Quaternario e' uma sub-classe de InheritableRelation
(subclass QuaternaryPredicate Predicate) Merge.kif 3500-3500 Predicado Quaternario e' uma sub-classe de Predicado
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3501-3501 Predicado Quaternario e' uma sub-classe de Relacao Quaternaria

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

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