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 835-837 | |
(documentation Physical JapaneseLanguage "時空に位置するエンティティ。 注:場所はそれ自体時空にあると理解する。") | japanese_format.kif 120-121 | |
(documentation Physical SpanishLanguage "Una entidad que tiene ubicación en espacio-tiempo. Note que las ubicaciones se entienden tener sitio en espacio-tiempo.") | spanish_format.kif 139-140 | |
(partition Physical Object Process) | Merge.kif 833-833 | Physical is exhaustively partitioned into object and process |
(subclass Physical Entity) | Merge.kif 832-832 | Physical is a subclass of entity |
appearance as argument number 2 |
appearance as argument number 3 |
(domain WhenFn 1 Physical) | Merge.kif 8504-8504 | The number 1 argument of when is an instance of physical |
(domain WhereFn 1 Physical) | Merge.kif 4223-4223 | The number 1 argument of where is an instance of physical |
(domain abstractCounterpart 2 Physical) | Merge.kif 6113-6113 | The number 2 argument of abstract counterpart is an instance of physical |
(domain altitude 1 Physical) | Merge.kif 7738-7738 | The number 1 argument of altitude is an instance of physical |
(domain altitude 2 Physical) | Merge.kif 7739-7739 | The number 2 argument of altitude is an instance of physical |
(domain anniversary 1 Physical) | Mid-level-ontology.kif 24238-24238 | The number 1 argument of anniversary is an instance of physical |
(domain attitudeForObject 3 Physical) | emotion.kif 2118-2118 | The number 3 argument of attitude for object is an instance of physical |
(domain cooccur 1 Physical) | Merge.kif 8425-8425 | The number 1 argument of cooccur is an instance of physical |
(domain cooccur 2 Physical) | Merge.kif 8426-8426 | The number 2 argument of cooccur is an instance of physical |
(domain courseWRTCompassNorth 1 Physical) | Geography.kif 3817-3817 | The number 1 argument of courseWRT compass north is an instance of physical |
(domain courseWRTCompassNorth 2 Physical) | Geography.kif 3818-3818 | The number 2 argument of courseWRT compass north is an instance of physical |
(domain courseWRTMagneticNorth 1 Physical) | Geography.kif 3785-3785 | The number 1 argument of courseWRT magnetic north is an instance of physical |
(domain courseWRTMagneticNorth 2 Physical) | Geography.kif 3786-3786 | The number 2 argument of courseWRT magnetic north is an instance of physical |
(domain courseWRTTrueNorth 1 Physical) | Geography.kif 3722-3722 | The number 1 argument of courseWRT true north is an instance of physical |
(domain courseWRTTrueNorth 2 Physical) | Geography.kif 3723-3723 | The number 2 argument of courseWRT true north is an instance of physical |
(domain date 1 Physical) | Merge.kif 8580-8580 | The number 1 argument of date is an instance of physical |
(domain dateDissolved 1 Physical) | Government.kif 2519-2519 | The number 1 argument of date dissolved is an instance of physical |
(domain dateEstablished 1 Physical) | Mid-level-ontology.kif 971-971 | The number 1 argument of date established is an instance of physical |
(domain distance 1 Physical) | Merge.kif 7716-7716 | The number 1 argument of distance is an instance of physical |
(domain distance 2 Physical) | Merge.kif 7717-7717 | The number 2 argument of distance is an instance of physical |
(domain evidence 2 Physical) | Law.kif 178-178 | The number 2 argument of evidence is an instance of physical |
(domain flows 1 Physical) | Geography.kif 5428-5428 | The number 1 argument of flows is an instance of physical |
(domain flows 2 Physical) | Geography.kif 5429-5429 | The number 2 argument of flows is an instance of physical |
(domain hasPurpose 1 Physical) | Merge.kif 3946-3946 | The number 1 argument of has purpose is an instance of physical |
(domain hasPurposeForAgent 1 Physical) | Merge.kif 3962-3962 | 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 |