Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| conforms |
| appearance as argument number 1 |
|
| (subrelation conforms represents) | Mid-level-ontology.kif 29517-29517 | conforms is a subrelation of represents |
| (instance conforms BinaryPredicate) | Mid-level-ontology.kif 29518-29518 | conforms is an instance of binary predicate |
| (documentation conforms EnglishLanguage "(conforms ?OBJ ?PROP) describes how ?OBJ follows the ideas outlined by ?PROP") | Mid-level-ontology.kif 29519-29520 | conforms is an instance of binary predicate |
| (domain conforms 1 Object) | Mid-level-ontology.kif 29523-29523 | The number 1 argument of conforms is an instance of object |
| (domain conforms 2 Proposition) | Mid-level-ontology.kif 29524-29524 | The number 2 argument of conforms is an instance of proposition |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (conforms ?OBJ AmericansWithDisabilitiesAct) (attribute ?OBJ HandicappedFriendly)) |
Mid-level-ontology.kif 29526-29528 | If X conforms to ADA, then handicapped friendly is an attribute of X |
| consequent |
|
|
| (=> (approves ?AGENT1 ?AGENT2) (exists (?PROP) (believes ?AGENT1 (conforms ?AGENT2 ?PROP)))) |
Mid-level-ontology.kif 29547-29551 | If X approves Y, then there exists Z such that X believes Y conforms to Z |
| (=> (instance ?X PartInspection) (hasPurpose ?X (exists (?O ?P) (and (instance ?O SelfConnectedObject) (patient ?X ?O) (instance ?P Proposition) (refers ?P ?O) (modalAttribute (conforms ?O ?P) Necessity))))) |
Economy.kif 2067-2077 | If X is an instance of part inspection, then X has the purpose there exist Y, Z such that Y is an instance of self connected object, Y is a patient of X, Z is an instance of proposition, Z includes a reference to Y, and the statement Y conforms to Z has the modal force of necessity |
|