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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuintaryPredicate

 Sigma KEE - QuintaryPredicate
QuintaryPredicate(Predicado Quinquenario)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2017-2018
No TPTP formula. May not be expressible in strict first order. Merge.kif 3515-3516
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 657-658
No TPTP formula. May not be expressible in strict first order. Merge.kif 3513-3513 Predicado Quinquenario e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3511-3511 Predicado Quinquenario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order. Merge.kif 3512-3512 Predicado Quinquenario e' uma sub-classe de Relacao Quinquenaria

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2091-2091
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2090-2090
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2089-2089
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 896-896 componentDataID e' uma instancia de Predicado Quinquenario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23269-23269 playsRoleInEventOfType e' uma instancia de Predicado Quinquenario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30882-30882 shortage e' uma instancia de Predicado Quinquenario
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 929-929
No TPTP formula. May not be expressible in strict first order. english_format.kif 1065-1065
No TPTP formula. May not be expressible in strict first order. french_format.kif 605-605
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 136-136
No TPTP formula. May not be expressible in strict first order. terms-it.txt 139-139
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2290-2290
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 557-557
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 173-173
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 626-626
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 140-140

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3518-3520


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