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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuaternaryPredicate

 Sigma KEE - QuaternaryPredicate
QuaternaryPredicate(PredicatoQuaternario)

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 3505-3506
(documentation QuaternaryPredicate JapaneseLanguage "Predicates の Class は、正確に4つの 引数を必要とする。") japanese_format.kif 655-656
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3503-3503 PredicatoQuaternario è una sottoclasse di InheritableRelation
(subclass QuaternaryPredicate Predicate) Merge.kif 3501-3501 PredicatoQuaternario è una sottoclasse di Predicato
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3502-3502 PredicatoQuaternario è una sottoclasse di RelazioneQuaternaria

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 14087-14087 agreementClause è un' istanza di PredicatoQuaternario
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 29798-29798 beforeOnPath è un' istanza di PredicatoQuaternario
(instance betweenOnPath QuaternaryPredicate) Merge.kif 4173-4173 betweenOnPath è un' istanza di PredicatoQuaternario
(instance capabilityDuring QuaternaryPredicate) Dining.kif 912-912 capabilityDuring è un' istanza di PredicatoQuaternario
(instance capableAtLocation QuaternaryPredicate) Transportation.kif 2727-2727 capableAtLocation è un' istanza di PredicatoQuaternario
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4407-4407 chiefOfDiplomaticMission è un' istanza di PredicatoQuaternario
(instance comparativeArea QuaternaryPredicate) Geography.kif 645-645 comparativeArea è un' istanza di PredicatoQuaternario
(instance concentration QuaternaryPredicate) Medicine.kif 223-223 concentration è un' istanza di PredicatoQuaternario
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4419-4419 diplomaticRepresentativeInRole è un' istanza di PredicatoQuaternario
(instance electricityFractionFromSourceInPeriod QuaternaryPredicate) Economy.kif 2025-2025 electricityFractionFromSourceInPeriod è un' istanza di PredicatoQuaternario
(instance exportPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2518-2518 exportPartnerByFractionInPeriod è un' istanza di PredicatoQuaternario
(instance exportPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2488-2488 exportPartnerByRankInPeriod è un' istanza di PredicatoQuaternario
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) ComputerInput.kif 2963-2963 grossMerchandiseBoughtInPeriod è un' istanza di PredicatoQuaternario
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) ComputerInput.kif 2992-2992 grossMerchandiseSoldInPeriod è un' istanza di PredicatoQuaternario
(instance importPartnerByFractionInPeriod QuaternaryPredicate) Economy.kif 2711-2711 importPartnerByFractionInPeriod è un' istanza di PredicatoQuaternario
(instance importPartnerByRankInPeriod QuaternaryPredicate) Economy.kif 2681-2681 importPartnerByRankInPeriod è un' istanza di PredicatoQuaternario
(instance laborForceFractionByOccupationInPeriod QuaternaryPredicate) Economy.kif 1385-1385 laborForceFractionByOccupationInPeriod è un' istanza di PredicatoQuaternario
(instance monetaryWage QuaternaryPredicate) Mid-level-ontology.kif 16990-16990 monetaryWage è un' istanza di PredicatoQuaternario
(instance observedAtTimeInPlace QuaternaryPredicate) Justice.kif 30-30 observedAtTimeInPlace è un' istanza di PredicatoQuaternario
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197 priceRange è un' istanza di PredicatoQuaternario
(instance publishedPrice QuaternaryPredicate) Catalog.kif 326-326 publishedPrice è un' istanza di PredicatoQuaternario
(instance rentalPrice QuaternaryPredicate) Catalog.kif 447-447 rentalPrice è un' istanza di PredicatoQuaternario

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 3508-3510


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