| CorpuscularObject | |
| appearance as argument number 1 |
|
|
| (disjoint CorpuscularObject Substance) | Merge.kif 1129-1129 | |
| (documentation CorpuscularObject ChineseLanguage "这是一个整体和部分之间不存在共有的特性 SelfConnectedObject。 ") | chinese_format.kif 1624-1625 | |
| (documentation CorpuscularObject EnglishLanguage "A SelfConnectedObject whose parts have properties that are not shared by the whole.") | Merge.kif 1130-1131 | |
| (subclass CorpuscularObject SelfConnectedObject) | Merge.kif 1128-1128 |
| appearance as argument number 2 |
|
|
| (subclass Bubble CorpuscularObject) | Mid-level-ontology.kif 4696-4696 | |
| (subclass ContentBearingObject CorpuscularObject) | Merge.kif 1224-1224 | |
| (subclass Nest CorpuscularObject) | Mid-level-ontology.kif 4723-4723 | |
| (subclass OrganicObject CorpuscularObject) | Merge.kif 13346-13346 | |
| (subclass RealEstate CorpuscularObject) | FinancialOntology.kif 1310-1310 | |
| (subclass Sonar CorpuscularObject) | Mid-level-ontology.kif 2548-2548 | |
| (termFormat ChineseLanguage CorpuscularObject "躯体性物体") | chinese_format.kif 830-830 | |
| (termFormat EnglishLanguage CorpuscularObject "corpuscular object") | english_format.kif 867-867 |
| appearance as argument number 3 |
|
|
| (domain component 1 CorpuscularObject) | Merge.kif 917-917 | |
| (domain component 2 CorpuscularObject) | Merge.kif 918-918 | |
| (domain material 2 CorpuscularObject) | Merge.kif 929-929 | |
| (domain powerComponent 1 CorpuscularObject) | Mid-level-ontology.kif 1669-1669 | |
| (domain powerComponent 2 CorpuscularObject) | Mid-level-ontology.kif 1670-1670 | |
| (domain sliceOfFigure 2 CorpuscularObject) | Mid-level-ontology.kif 4525-4525 |
| antecedent |
|
|
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?P) (and (part ?P ?H) (meetsSpatially ?P ?HR)))) |
Cars.kif 4303-4315 | |
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K)))) |
Cars.kif 4317-4330 | |
| (=> (instance ?OBJ CorpuscularObject) (exists (?SUBSTANCE1 ?SUBSTANCE2) (and (subclass ?SUBSTANCE1 Substance) (subclass ?SUBSTANCE2 Substance) (material ?SUBSTANCE1 ?OBJ) (material ?SUBSTANCE2 ?OBJ) (not (equal ?SUBSTANCE1 ?SUBSTANCE2))))) |
Merge.kif 1133-1141 |
| consequent |
|
|
| (=> (instance ?ATTACH Attaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?ATTACH ?OBJ)))) |
Merge.kif 11529-11534 | |
| (=> (instance ?DETACH Detaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?DETACH ?OBJ)))) |
Merge.kif 11554-11559 | |
| (=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H) (and (instance ?H Hole) (equal ?G (HoleHostFn ?H)) (instance ?T Translocation) (path ?T ?H) (origin ?T ?O) (destination ?T ?D) (contains ?O1 ?O) (not (contains ?O1 ?D)) (meetsSpatially ?O1 ?D) (not (exists (?O3) (and (contains ?H ?O3) (not (contains ?O1 ?O3)) (not (contains ?O2 ?O3)))))))))))) |
Cars.kif 2857-2886 | |
| (=> (instance ?PGUIDE PhysicalGuiding) (exists (?MOVED) (and (patient ?PGUIDE ?MOVED) (instance ?MOVED CorpuscularObject)))) |
ComputerInput.kif 127-132 | |
| (=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 AttachingDevice) (meetsSpatially ?O1 ?W) (contains ?W ?O2))))) |
Mid-level-ontology.kif 4156-4164 | |
| (=> (instance ?X Reel) (hasPurpose ?X (exists (?K ?H) (and (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?X) (patient ?K ?H))))) |
Cars.kif 4291-4301 |
|
|
|