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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3516-3517
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 3514-3514 Predicado Quinquenario e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3512-3512 Predicado Quinquenario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order. Merge.kif 3513-3513 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 23321-23321 playsRoleInEventOfType e' uma instancia de Predicado Quinquenario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30906-30906 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 3519-3521


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