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 818-820 | |
(partition Physical Object Process) | Merge.kif 816-816 | Physical is exhaustively partitioned into object and process |
(subclass Physical Entity) | Merge.kif 815-815 | Physical is a subclass of entity |
appearance as argument number 2 |
![]() |
(partition Entity Physical Abstract) | Merge.kif 799-799 | Entity is exhaustively partitioned into physical and abstract |
(subclass ContentBearingPhysical Physical) | Merge.kif 1257-1257 | 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 829-829 | Object is a subclass of physical |
(subclass PhysicalSystem Physical) | Merge.kif 6025-6025 | Physical system is a subclass of physical |
(subclass Process Physical) | Merge.kif 1562-1562 | 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 8370-8370 | The number 1 argument of when is an instance of physical |
(domain WhereFn 1 Physical) | Merge.kif 4132-4132 | The number 1 argument of where is an instance of physical |
(domain abstractCounterpart 2 Physical) | Merge.kif 6016-6016 | The number 2 argument of abstractCounterpart is an instance of physical |
(domain altitude 1 Physical) | Merge.kif 7606-7606 | The number 1 argument of altitude is an instance of physical |
(domain altitude 2 Physical) | Merge.kif 7607-7607 | The number 2 argument of altitude is an instance of physical |
(domain anniversary 1 Physical) | Mid-level-ontology.kif 23593-23593 | The number 1 argument of anniversary is an instance of physical |
(domain attitudeForObject 3 Physical) | emotion.kif 2128-2128 | The number 3 argument of attitudeForObject is an instance of physical |
(domain cooccur 1 Physical) | Merge.kif 8291-8291 | The number 1 argument of cooccur is an instance of physical |
(domain cooccur 2 Physical) | Merge.kif 8292-8292 | 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 8446-8446 | The number 1 argument of date is an instance of physical |
(domain dateDissolved 1 Physical) | Government.kif 2540-2540 | The number 1 argument of date dissolved is an instance of physical |
(domain dateEstablished 1 Physical) | Mid-level-ontology.kif 935-935 | The number 1 argument of date established is an instance of physical |
(domain distance 1 Physical) | Merge.kif 7584-7584 | The number 1 argument of distance is an instance of physical |
(domain distance 2 Physical) | Merge.kif 7585-7585 | 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 3864-3864 | The number 1 argument of has purpose is an instance of physical |
(domain hasPurposeForAgent 1 Physical) | Merge.kif 3880-3880 | 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 |
![]() |
![]() |
![]() |