![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Physical ChineseLanguage "存在时空中某位置的个体。注:位置本身应理解为,存在于某个时空 的位置。") | chinese_format.kif 1550-1551 | |
(documentation Physical EnglishLanguage "An entity that has a location in space-time. Note that locations are themselves understood to have a location in space-time.") | Merge.kif 826-828 | |
(partition Physical Object Process) | Merge.kif 824-824 | Physical is exhaustively partitioned into object and process |
(subclass Physical Entity) | Merge.kif 823-823 | Physical is a subclass of entity |
appearance as argument number 2 |
![]() |
(partition Entity Physical Abstract) | Merge.kif 807-807 | Entity is exhaustively partitioned into physical and abstract |
(subclass ContentBearingPhysical Physical) | Merge.kif 1265-1265 | Content bearing physical is a subclass of physical |
(subclass FinancialAsset Physical) | FinancialOntology.kif 41-41 | Financial asset is a subclass of physical |
(subclass Object Physical) | Merge.kif 837-837 | Object is a subclass of physical |
(subclass PhysicalSystem Physical) | Merge.kif 6033-6033 | Physical system is a subclass of physical |
(subclass Process Physical) | Merge.kif 1570-1570 | Process is a subclass of physical |
(termFormat ChineseLanguage Physical "物理") | chinese_format.kif 814-814 | |
(termFormat EnglishLanguage Physical "physical") | english_format.kif 830-830 |
appearance as argument number 3 |
![]() |
(domain WhenFn 1 Physical) | Merge.kif 8378-8378 | The number 1 argument of when is an instance of physical |
(domain WhereFn 1 Physical) | Merge.kif 4140-4140 | The number 1 argument of where is an instance of physical |
(domain abstractCounterpart 2 Physical) | Merge.kif 6024-6024 | The number 2 argument of abstractCounterpart is an instance of physical |
(domain altitude 1 Physical) | Merge.kif 7614-7614 | The number 1 argument of altitude is an instance of physical |
(domain altitude 2 Physical) | Merge.kif 7615-7615 | The number 2 argument of altitude is an instance of physical |
(domain anniversary 1 Physical) | Mid-level-ontology.kif 23702-23702 | The number 1 argument of anniversary is an instance of physical |
(domain attitudeForObject 3 Physical) | emotion.kif 2120-2120 | The number 3 argument of attitudeForObject is an instance of physical |
(domain cooccur 1 Physical) | Merge.kif 8299-8299 | The number 1 argument of cooccur is an instance of physical |
(domain cooccur 2 Physical) | Merge.kif 8300-8300 | The number 2 argument of cooccur is an instance of physical |
(domain courseWRTCompassNorth 1 Physical) | Geography.kif 3739-3739 | The number 1 argument of courseWRT compass north is an instance of physical |
(domain courseWRTCompassNorth 2 Physical) | Geography.kif 3740-3740 | The number 2 argument of courseWRT compass north is an instance of physical |
(domain courseWRTMagneticNorth 1 Physical) | Geography.kif 3707-3707 | The number 1 argument of courseWRT magnetic north is an instance of physical |
(domain courseWRTMagneticNorth 2 Physical) | Geography.kif 3708-3708 | The number 2 argument of courseWRT magnetic north is an instance of physical |
(domain courseWRTTrueNorth 1 Physical) | Geography.kif 3644-3644 | The number 1 argument of courseWRT true north is an instance of physical |
(domain courseWRTTrueNorth 2 Physical) | Geography.kif 3645-3645 | The number 2 argument of courseWRT true north is an instance of physical |
(domain date 1 Physical) | Merge.kif 8454-8454 | The number 1 argument of date is an instance of physical |
(domain dateDissolved 1 Physical) | Government.kif 2552-2552 | The number 1 argument of date dissolved is an instance of physical |
(domain dateEstablished 1 Physical) | Mid-level-ontology.kif 945-945 | The number 1 argument of date established is an instance of physical |
(domain distance 1 Physical) | Merge.kif 7592-7592 | The number 1 argument of distance is an instance of physical |
(domain distance 2 Physical) | Merge.kif 7593-7593 | The number 2 argument of distance is an instance of physical |
(domain evidence 2 Physical) | Law.kif 221-221 | The number 2 argument of evidence is an instance of physical |
(domain flows 1 Physical) | Geography.kif 5326-5326 | The number 1 argument of flows is an instance of physical |
(domain flows 2 Physical) | Geography.kif 5327-5327 | The number 2 argument of flows is an instance of physical |
(domain hasPurpose 1 Physical) | Merge.kif 3872-3872 | The number 1 argument of has purpose is an instance of physical |
(domain hasPurposeForAgent 1 Physical) | Merge.kif 3888-3888 | The number 1 argument of has purpose for agent is an instance of physical |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |