| 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 5303-5303 | |
| (subclass ContentBearingObject CorpuscularObject) | Merge.kif 1224-1224 | |
| (subclass Nest CorpuscularObject) | Mid-level-ontology.kif 5330-5330 | |
| (subclass OrganicObject CorpuscularObject) | Merge.kif 13346-13346 | |
| (subclass RealEstate CorpuscularObject) | FinancialOntology.kif 1297-1297 | |
| (subclass Sonar CorpuscularObject) | Mid-level-ontology.kif 3077-3077 | |
| (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 2145-2145 | |
| (domain powerComponent 2 CorpuscularObject) | Mid-level-ontology.kif 2146-2146 | |
| (domain sliceOfFigure 2 CorpuscularObject) | Mid-level-ontology.kif 5132-5132 |
| 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 4261-4273 | |
| (=> (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 4275-4288 | |
| (=> (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 2828-2857 | |
| (=> (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 4760-4768 | |
| (=> (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 4249-4259 |
|
|
|