SurfaceChange - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3195-3195
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12613-12614
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12612-12612	Surface change is a subclass of internal change

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12631-12631	Coloring is a subclass of surface change
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18008-18008	Digging is a subclass of surface change
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3333-3333	Drawing is a subclass of surface change
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18095-18095	Drilling is a subclass of surface change
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25231-25231	Roughening is a subclass of surface change
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25215-25215	Smoothing is a subclass of surface change
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18022-18022	Tilling is a subclass of surface change
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3310-3310	Tracing is a subclass of surface change
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1174-1174
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1565-1565
No TPTP formula. May not be expressible in strict first order.	french_format.kif 852-852
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 384-384
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 387-387
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2536-2536
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 804-804
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 389-389
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 423-423
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 873-873
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 388-388

antecedent

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

Merge.kif 12616-12629

If a process is an instance of surface change and an object is a patient of the process,
then there exist another object and an entity such that the other object is a superficial part of the object and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2923-2939	If a collection is an instance of organization and printing and related support activities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of surface change and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1924-1932	If a physical is an instance of brush or comb, then the physical has the purpose there exists an entity such that the entity is an instance of removing or the entity is an instance of surface change and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2538-2540	If an object is an instance of file device, then the object is capable of doing surface change as a instrument
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5990-5999	If a physical is an instance of lathe, then the physical has the purpose there exist an entity and another entity such that the physical is an instrument for the entity and the other entity is a patient of the entity and the entity is an instance of shape change or the entity is an instance of surface change

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: