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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuintaryPredicate
QuintaryPredicateمَحْمُول خُمَاسِي, Predicado_Quinquenario, PredicatoQuinquenario, limang_panaguri, pancha_lakshana, predicate_quinternaire, quintary_predicate, 五元谓语

appearance as argument number 1
-------------------------


(documentation QuintaryPredicate ChineseLanguage "这是一个需要五个参数的 Predicate Class。") Merge.kif 3601-3602
(documentation QuintaryPredicate EnglishLanguage "The Class of Predicates that require five arguments.") Merge.kif 3599-3600
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3598-3598
(subclass QuintaryPredicate Predicate) Merge.kif 3596-3596
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3597-3597

appearance as argument number 2
-------------------------


(format EnglishLanguage QuintaryPredicate "%1 %n{doesn't} quintary predicate %2 for %3 with %4 and %5") domainEnglishFormat.kif 531-531
(instance componentDataID QuintaryPredicate) QoSontology.kif 869-869
(instance playsRoleInEventOfType QuintaryPredicate) Mid-level-ontology.kif 21142-21142
(termFormat ChineseLanguage QuintaryPredicate "五元谓语") chinese_format.kif 929-929
(termFormat EnglishLanguage QuintaryPredicate "quintary predicate") english_format.kif 616-616
(termFormat FrenchLanguage QuintaryPredicate "predicate quinternaire") french_format.kif 605-605
(termFormat Hindi QuintaryPredicate "pancha lakshana") terms-hindi.txt 136-136
(termFormat ItalianLanguage QuintaryPredicate "PredicatoQuinquenario") terms-it.txt 137-137
(termFormat PortugueseLanguage QuintaryPredicate "Predicado Quinquenario") portuguese_format.kif 557-557
(termFormat ar QuintaryPredicate "مَحْمُول خُمَاسِي") arabic_format.kif 341-341
(termFormat cz QuintaryPredicate "quintary predicate") terms-cz.txt 173-173
(termFormat tg QuintaryPredicate "limang panaguri") terms-tg.txt 140-140

antecedent
-------------------------


(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))
Merge.kif 3604-3606


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners