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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - manner
manner

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1734-1734 manner e attribute sao disjuntos
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1716-1718
No TPTP formula. May not be expressible in strict first order. Merge.kif 1736-1740
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 320-323
No TPTP formula. May not be expressible in strict first order. Merge.kif 1732-1732 O argumento numero 1 de manner e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order. Merge.kif 1733-1733 O argumento numero 2 de manner e' uma instancia de Atributo
No TPTP formula. May not be expressible in strict first order. Merge.kif 1727-1727 manner e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 1730-1730 manner e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 1728-1728 manner e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 1729-1729 manner e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 1731-1731 manner e' uma sub-relacao de property

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 149-149
No TPTP formula. May not be expressible in strict first order. english_format.kif 150-150
No TPTP formula. May not be expressible in strict first order. french_format.kif 95-95
No TPTP formula. May not be expressible in strict first order. relations-it.txt 173-173
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1923-1923
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 47-47
No TPTP formula. May not be expressible in strict first order. relations-de.txt 179-179
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 211-211
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 114-114
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 94-94
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 343-343
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 150-150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36011-36011
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36010-36010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36009-36009
No TPTP formula. May not be expressible in strict first order. terms-de.txt 55-55
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 344-344

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30320-30334 Processo e' feito de forma Harmless Processo e' uma instancia de Causar Dano Processo2 Processo2 e' uma instancia de Causar Dano Processo2 e' um sub-processo de Processo Processo2 Processo2 e' uma instancia de Causar Dano Processo causa Processo2
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30231-30242
No TPTP formula. May not be expressible in strict first order. Cars.kif 4931-4933

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11325-11336


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