HandicappedFriendly - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HandicappedFriendly

HandicappedFriendly(handicapped friendly)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24206-24207
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24205-24205	Handicapped friendly is an instance of subjective assessment attribute

appearance as argument number 2

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

Mid-level-ontology.kif 24208-24208

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24214-24221	If handicapped friendly is an attribute of an object, then there exist an attribute and a cognitive agent such that the attribute is an instance of disability and the cognitive agent is an instance of human and the attribute is an attribute of the cognitive agent and the cognitive agent is interested in the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24210-24212	If handicapped friendly is an attribute of an object, then the object is an instance of object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24187-24189	If wheelchair accessible is an attribute of an object, then handicapped friendly is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25150-25152	If an object conforms to ADA, then handicapped friendly is an attribute of the 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