manner - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1729-1729	manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1716-1718	manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1731-1735	manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 320-323	manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1727-1727	The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1728-1728	The number 2 argument of manner is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1722-1722	manner is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1725-1725	manner is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1723-1723	manner is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1724-1724	manner is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1726-1726	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 36037-36037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36036-36036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36035-36035
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 31973-31987	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 31884-31895	If a process is performed in the manner Solely, then there exists an entity such that the entity is an involved in event of the process and the entity is an instance of agent and there doesn't exist the entity2 such that the entity2 is an involved in event of the process and the entity2 is an instance of agent and the entity is not equal to the entity2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5007-5009	If a process is performed in the manner rotational attribute, then the process is an instance of rotating

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11414-11425

If a physical is an instance of direction change,
then there exists an entity such that the entity is an instance of directional attribute and the physical is performed in the manner the entity holds during the beginning of the time of existence of the physical and the physical is not performed in the manner the entity holds during the end of the time of existence of the physical or the physical is performed in the manner the entity holds during the end of the time of existence of the physical and the physical is not performed in the manner the entity holds during the beginning of the time of existence of the physical

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

KB Term:			Term intersection

English Word: