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 and attribute are disjoint
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 The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1733-1733 The number 2 argument of manner is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1727-1727 manner is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1730-1730 manner is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1728-1728 manner is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1729-1729 manner is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1731-1731 manner is a subrelation of 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 30296-30310 A process is performed in the manner harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30207-30218
No TPTP formula. May not be expressible in strict first order. Cars.kif 4946-4948

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11279-11290


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