exists |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65825-65825 |
antecedent |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1160-1174 | 包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18202-18219 | 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3309-3315 | 有目的 iBookstore and ?D 例 ?D and 下載 儀器 ?D and iBookstore 例 ?T and Text objectTransferred ?D and ?T |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6099-6106 | GraphPath GraphPath 例 GraphPath and 切集 Graph 例 GraphPath and 最小割集 Graph 路徑長度 GraphPath and PositiveInteger 路徑長度 GraphPath and PositiveInteger 少於 PositiveInteger and PositiveInteger |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4559-4564 | Process Entity 例 Process and Disseminating agent Process and Netflix 患者 Process and Entity 例 Entity and MotionPicture |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4566-4569 | Process 例 Process and 電影製作 agent Process and Netflix |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4590-4593 | CognitiveAgent attribute CognitiveAgent and NewReporter 採用 ProPublica and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1902-1903 | Meal Region attribute Meal and 對於 Meal 合適的 meal 在 Region |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2453-2457 | TimePosition 例 TimePosition and 年 1976 持有期間 TimePosition and 斯蒂夫·沃茲尼亞克 是 史蒂芬·賈伯斯 的 coworker |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2441-2445 | TimePosition 例 TimePosition and 年 2002 持有期間 TimePosition and 提姆·庫克 是 史蒂芬·賈伯斯 的 coworker |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5109-5112 | Object 子類 Object and HandToolBox manufacturer Object and SortimoCorp |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 825-826 | Entity 例 Entity and Entity |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1970-1978 | TimeInterval 例 TimeInterval and TimeInterval 飾面 TimeInterval and 何時 JesusOfNazareth 啟動 TimeInterval and 何時 TwelveApostles entity
|