FrontFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FrontFn

FrontFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1560-1564
No TPTP formula. May not be expressible in strict first order.	Merge.kif 874-882
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 132-137
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 160-167
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 152-159
No TPTP formula. May not be expressible in strict first order.	Merge.kif 871-871	The number 1 argument of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 869-869	Front is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 868-868	Front is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 870-870	Front is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 872-872	The range of front is an instance of self connected object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 259-259
No TPTP formula. May not be expressible in strict first order.	english_format.kif 264-264
No TPTP formula. May not be expressible in strict first order.	french_format.kif 148-148
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 114-114
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1976-1976
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 100-100
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 333-333
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 154-154
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 167-167
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 154-154
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 238-238
No TPTP formula. May not be expressible in strict first order.	Merge.kif 893-893	Back is internally related to front
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 260-260	Back is internally related to front
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25087-25087	Back is internally related to front
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25086-25086	Back is internally related to front
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25085-25085	Back is internally related to front
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 106-106	Back is internally related to front
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 239-239	Back is internally related to front

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14241-14247	If an object is an instance of face and the object is a part of a self connected object and equal another self connected object and the front of the self connected object, then the object is a part of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 908-913	If equal a self connected object and the front of another self connected object, then the self connected object and the back of the other self connected object doesn't overlapsSpatially

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	If an image is the image on an album and an object is an instance of the set of copies on a kind of data storage device of the album and a self connected object contains the object, then the statement the image is a part of the front of the self connected object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14179-14185	If an object is an instance of breast and a self connected object is an instance of human and the object is a part of the self connected object, then the object is a part of the front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2027-2041	If ventral is an attribute of an object, then there exist a self connected object and another self connected object such that the self connected object is an instance of organism or the self connected object is an instance of body part and ~{ the self connected object is an instance of organism } or ~{ the self connected object is an instance of body part } and the object is a part of the self connected object and equal the other self connected object and the front of the self connected object and the other self connected object meets the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 915-920	If equal a self connected object and the back of another self connected object, then the self connected object and the front of the other self connected object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14164-14170	If an object is an instance of breast, then there exists a self connected object such that the self connected object is an instance of torso and the object is a part of the front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1465-1471	If an object is an instance of fore stock, then there exists a self connected object such that the self connected object is an instance of gun stock and the object is a part of the front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3521-3526	If an object is an instance of headlight, then there exists a self connected object such that the self connected object is an instance of vehicle and the object is a part of the front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 884-886	If a self connected object is an instance of self connected object, then a side of the self connected object is the front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3901-3906	If an object is an instance of windshield, then there exists a self connected object such that the self connected object is an instance of road vehicle and the object is a part of the front of the self connected object

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