![]() |
![]() ![]() ![]()
|
![]() |
|
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 801-803 | |
(partition Physical Object Process) | Merge.kif 799-799 | Physical is exhaustively partitioned into object and process |
(subclass Physical Entity) | Merge.kif 798-798 | Physical is a subclass of entity |
appearance as argument number 2 |
![]() |
(partition Entity Physical Abstract) | Merge.kif 782-782 | Entity is exhaustively partitioned into physical and abstract |
(subclass ContentBearingPhysical Physical) | Merge.kif 1202-1202 | 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 812-812 | Object is a subclass of physical |
(subclass PhysicalSystem Physical) | Merge.kif 5817-5817 | Physical system is a subclass of physical |
(subclass Process Physical) | Merge.kif 1531-1531 | Process is a subclass of physical |
(termFormat ChineseLanguage Physical "物理") | chinese_format.kif 814-814 | |
(termFormat EnglishLanguage Physical "physical") | english_format.kif 835-835 |
appearance as argument number 3 |
![]() |
(domain WhenFn 1 Physical) | Merge.kif 7941-7941 | The number 1 argument of when is an instance of physical |
(domain WhereFn 1 Physical) | Merge.kif 4075-4075 | The number 1 argument of where is an instance of physical |
(domain abstractCounterpart 2 Physical) | Merge.kif 5808-5808 | The number 2 argument of abstractCounterpart is an instance of physical |
(domain altitude 1 Physical) | Merge.kif 7315-7315 | The number 1 argument of altitude is an instance of physical |
(domain altitude 2 Physical) | Merge.kif 7316-7316 | The number 2 argument of altitude is an instance of physical |
(domain anniversary 1 Physical) | Mid-level-ontology.kif 21985-21985 | The number 1 argument of anniversary is an instance of physical |
(domain attitudeForObject 3 Physical) | emotion.kif 2018-2018 | The number 3 argument of attitudeForObject is an instance of physical |
(domain cooccur 1 Physical) | Merge.kif 7866-7866 | The number 1 argument of cooccur is an instance of physical |
(domain cooccur 2 Physical) | Merge.kif 7867-7867 | The number 2 argument of cooccur is an instance of physical |
(domain courseWRTCompassNorth 1 Physical) | Geography.kif 3652-3652 | The number 1 argument of courseWRT compass north is an instance of physical |
(domain courseWRTCompassNorth 2 Physical) | Geography.kif 3653-3653 | The number 2 argument of courseWRT compass north is an instance of physical |
(domain courseWRTMagneticNorth 1 Physical) | Geography.kif 3623-3623 | The number 1 argument of courseWRT magnetic north is an instance of physical |
(domain courseWRTMagneticNorth 2 Physical) | Geography.kif 3624-3624 | The number 2 argument of courseWRT magnetic north is an instance of physical |
(domain courseWRTTrueNorth 1 Physical) | Geography.kif 3560-3560 | The number 1 argument of courseWRT true north is an instance of physical |
(domain courseWRTTrueNorth 2 Physical) | Geography.kif 3561-3561 | The number 2 argument of courseWRT true north is an instance of physical |
(domain date 1 Physical) | Merge.kif 8018-8018 | The number 1 argument of date is an instance of physical |
(domain dateDissolved 1 Physical) | Government.kif 2496-2496 | The number 1 argument of date dissolved is an instance of physical |
(domain dateEstablished 1 Physical) | Mid-level-ontology.kif 1365-1365 | The number 1 argument of date established is an instance of physical |
(domain distance 1 Physical) | Merge.kif 7293-7293 | The number 1 argument of distance is an instance of physical |
(domain distance 2 Physical) | Merge.kif 7294-7294 | 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 5121-5121 | The number 1 argument of flows is an instance of physical |
(domain flows 2 Physical) | Geography.kif 5122-5122 | The number 2 argument of flows is an instance of physical |
(domain hasPurpose 1 Physical) | Merge.kif 3807-3807 | The number 1 argument of has purpose is an instance of physical |
(domain hasPurposeForAgent 1 Physical) | Merge.kif 3823-3823 | 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 |
![]() |
![]() |
![]() |