Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  DegreeFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sonar CorpuscularObject) | Mid-level-ontology.kif 3211-3211 | Sonar is a subclass of corpuscular object |
| (documentation Sonar EnglishLanguage "Something that emits and receives sound for the purpose of locating and tracking distant objects. Note that this covers both manmade devices and BodyParts such as the sonar of bats and dolphins.") | Mid-level-ontology.kif 3212-3215 | Sonar is a subclass of corpuscular object |
| (externalImage Sonar "http://upload.wikimedia.org/wikipedia/commons/0/07/ Sonar_Principle_EN.svg") | pictureList.kif 882-882 | Sonar is a subclass of corpuscular object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SONAR Sonar) (hasPurpose ?SONAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?SONAR))))) |
Mid-level-ontology.kif 3217-3223 | If X is an instance of sonar, then X has the purpose there exists Y such that Y is an instance of discovering and X is an instrument for Y |
| (=> (instance ?SONAR Sonar) (capability RadiatingSound agent ?SONAR)) |
Mid-level-ontology.kif 3225-3227 | If X is an instance of sonar, then X is capable of doing radiating sound as a agent |
|
