| CorpuscularObject | |
| appearance as argument number 1 |
|
|
| (disjoint CorpuscularObject Substance) | Merge.kif 1130-1130 | |
| (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 1131-1132 | |
| (subclass CorpuscularObject SelfConnectedObject) | Merge.kif 1129-1129 |
| appearance as argument number 2 |
|
|
| (subclass Bubble CorpuscularObject) | Mid-level-ontology.kif 5303-5303 | |
| (subclass ContentBearingObject CorpuscularObject) | Merge.kif 1225-1225 | |
| (subclass Nest CorpuscularObject) | Mid-level-ontology.kif 5330-5330 | |
| (subclass OrganicObject CorpuscularObject) | Merge.kif 13343-13343 | |
| (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 918-918 | |
| (domain component 2 CorpuscularObject) | Merge.kif 919-919 | |
| (domain material 2 CorpuscularObject) | Merge.kif 930-930 | |
| (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 1134-1142 |
| consequent |
|
|
| (=> (instance ?ATTACH Attaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?ATTACH ?OBJ)))) |
Merge.kif 11526-11531 | |
| (=> (instance ?DETACH Detaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?DETACH ?OBJ)))) |
Merge.kif 11551-11556 | |
| (=> (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 |
|
|
|