TreeView Knowledge Base Browser

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65825-65825

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	例 Process and 退出例金融賬戶 and 金融賬戶起源 Process and 金融賬戶的 currency Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process 金融賬戶的 liqudity 是高流動性
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3920-3926	TimeInterval 例貸款 and 貸款 TimeInterval 是貸款的 agreement 週期貸款是對於 %3 的賺取 interest 利益是貸款的 loan 利息
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 989-992	電腦程序 ComputerProgram 是電腦程序的執行 program 屬性 ComputerProgram and 可執行
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 981-984	Number Number 是金融賬戶的 fixed 固定利息例金融賬戶 and 固定利率賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	金融工具金融工具Price and RealNumber 例協議 and 看漲期權金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於金融工具Price and RealNumber AutonomousAgent 是協議的 out 資兂短缺
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	金融工具金融工具Price and RealNumber 例協議 and 看漲期權金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於 RealNumber and 金融工具Price AutonomousAgent 是協議的 in 金錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3034-3042	金融工具金融工具Price and CurrencyMeasure 例協議 and 選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 金融工具Price CurrencyMeasure 是協議的 strike 價錢等於金融工具Price and CurrencyMeasure AutonomousAgent 是協議 at 的錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	金融工具金融工具Price and RealNumber 例協議 and 放選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於金融工具Price and RealNumber AutonomousAgent 是協議的 in 金錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	金融工具金融工具Price and RealNumber 例協議 and 放選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於 RealNumber and 金融工具Price AutonomousAgent 是協議的 out 資兂短缺
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	breathingRate AutonomousAgent, TimeInterval and Integer 例 TimeInterval and Minute Integer 例 Integer and RecreationOrExercise agent Integer and AutonomousAgent 期間 TimeInterval and 何時 Integer 持有期間 TimeInterval and attribute AutonomousAgent and 人類成人比較多 Integer and 16 少於 Integer and 12 持有期間 TimeInterval and attribute AutonomousAgent and Healthy
No TPTP formula. May not be expressible in strict first order.	Military.kif 772-778	公民 Human and Nation Object 位於 Human and Object 位於 Human and Nation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 對 CurrencyMeasure 收費在 corkage 為了 Object 例 Object and Object Process 例 Process and Buying 患者 Process and Object 目的地 Process and CognitiveAgent 起源 Process and AutonomousAgent 例 Process and Drinking agent Process and CognitiveAgent 資源 Process and Object Process 例 Process and Corkage agent Process and CognitiveAgent 參照 Process and Object 目的地 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	AutonomousAgent provides Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Entity and Object 慾望 CognitiveAgent and entity 例 entity and IntentionalProcess 患者 entity and Entity agent entity and CognitiveAgent 模態屬性賦予權利使用 Entity and CognitiveAgent, AutonomousAgent and CognitiveAgent and 可能性
No TPTP formula. May not be expressible in strict first order.	Cars.kif 853-866	例物理系統 and 汽車例物理系統 and 汽車例 Object and AutomobileShock 部分 Object and 物理系統 Object 例 Object and AutomobileShock 部分 Object and 物理系統 dampingRatio 物理系統 and RealNumber dampingRatio 物理系統 and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	例 AutonomousAgent and AutonomousAgent CognitiveAgent 是個 potential customer 對於 AutonomousAgent 模態屬性例 entity and Reserving 目的地 entity and AutonomousAgent and 必要性條件概率 entityES1 例 entityES1 and Reservation CognitiveAgent reserves entityES1 AutonomousAgent fulfills entityES1 , AutonomousAgent 是 CognitiveAgent 的 customer and RealNumber 條件概率 entityES2 例 entityES2 and Reservation CognitiveAgent reserves entityES2 AutonomousAgent fulfills entityES2 , AutonomousAgent 是 CognitiveAgent 的 customer and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	例責任賬戶 and 責任賬戶責任賬戶是對於月持續時間的 minimum 費用測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency Process TimeInterval 例 TimeInterval and Month 目的地 Process and 責任賬戶的 currency 責任賬戶 payments 對於 TimeInterval 每周期測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber Process 例 Process and 罰款目的地 Process and 責任賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5016-5025	例 Object and 氣泡 Object Attribute attribute Object and Attribute 等於 Object and 加油站空間的符合 Object and Object attribute Object and 中凸的圓形
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	例 Collection and Collection 例 RealNumber and CurrencyMeasure 例 Integer and RealNumber 等於 RealNumber and Collection 的 value 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Object entity 會員 entity and Collection 患者 entity and SymbolicString 等於 Collection 的 average price and 部 RealNumber and Integer
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	例 Process and CateringService agent Process and AutonomousAgent 目的地 Process and ProcessUST 位於 AutonomousAgent and Object AutonomousAgent 是 ProcessUST 的 customer Process Entity and Process 例 Process and Cooking agent Process and AutonomousAgent 結果 Process and Entity 患者 Process and Entity 例 Process and Eating agent Process and ProcessUST Process 是 located 在 Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1772-1786	例 Object and CompoundSubstance 子類 CompoundSubstance and CompoundSubstance Object 例 Object and CompoundSubstance 部分 Object and Object molecularRatio ElementalSubstance, Integer and CompoundSubstance 例 Collection and Group 會員 Object and Collection 部分 Object and Object 例 Object and ElementalSubstance Integer 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3905-3921	例 Entity and Electromagnet 持有期間 TimePosition and entity entity 例 entity and Transfer 例 entity and 電力 objectTransferred entity and entity 路徑 entity and Entity 持有期間 TimePosition and entity 例 entity and 磁儀器 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	例 Device and 槍例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍距離 Device, Object and 測量 RealNumber and UnitOfMeasure 例 Object and Organism Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力卡帕 SymbolicString and 例 SymbolicString and Killing 患者 SymbolicString and Object, 儀器 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	例 Device and 槍例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍距離 Device, Object and 測量 RealNumber and UnitOfMeasure Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力卡帕 SymbolicString and 例 SymbolicString and Damaging 患者 SymbolicString and Object, 儀器 and Device
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	例 TimeInterval and TimeInterval_CLASS 子類 TimeInterval_CLASS and Process 例 AccessingWebPage and AccessingWebPage 例 AutonomousAgent and AutonomousAgent agent TimeInterval and AutonomousAgent agent AccessingWebPage and AutonomousAgent 期間 TimeInterval and AccessingWebPage 例 Physical and TimeInterval TimeInterval 例 TimeInterval and TimeInterval_CLASS agent TimeInterval and AutonomousAgent 期間 TimeInterval and AccessingWebPage 之前開始何時 TimeInterval and 開始何時 TimeInterval 等於開始何時 AccessingWebPage and 開始何時 Physical 等於開始何時 TimeInterval and 結束何時 Physical 等於 AccessingWebPage 的 time 在類別 TimeInterval_CLASS and Physical
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1409-1418	例 Process and 起飛患者 Process and Entity Process 例 Process and 爆炸患者 Process and Entity 例 Entity and 絕對的啞彈

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30178-30188	例 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity 例 entity and Clothing covers entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26329-26340	例 Process and Photocopying 患者 Process and 內容承載物理例內容承載物理 and VisualContentBearingObject 包含信息內容承載物理 and Proposition 內容承載物理 Proposition 結果 Process and 內容承載物理例內容承載物理 and VisualContentBearingObject 包含信息內容承載物理 and Proposition 等於 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7440-7451	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 例 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 例 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	例年 and 年 Integer 等於 GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1517-1522	GeopoliticalArea 對於 TimeInterval 在週期 CurrencyMeasure 的 annual 地區消費 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 在 annual 地區消費
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1488-1493	GeopoliticalArea annual 對於 TimeInterval 在週期 CurrencyMeasure 的地區收入 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 annual 地區收入
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 751-762	attribute Object and 和弦音樂 Process Process 例 Object and MakingMusic 例 Process and MakingMusic 例 Process and MakingMusic 子過程 Process and Object 子過程 Process and Object 等於 Process and Process 一同發生 Process and Object 一同發生 Process and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4711-4720	attribute Object and 公海 Physical RealNumber 例 Object and SaltWaterArea 例 Object and 內陸水域距離 Physical, Object and 測量 RealNumber and 海裡比較多 RealNumber and 5.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23046-23051	女人是 Human 的 aunt Human 女人是 Human 的 sister 親 Human and Human
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	RealNumber 是 List 的 average List PositiveInteger 等於列表長度 List and 列表長度 List 等於清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 在列表中 PositiveInteger and List RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger 比較多 RealNumber and 1 小於或等於 RealNumber and 列表長度 List 等於清單順序 List and PositiveInteger and RealNumber 在列表中 PositiveInteger and List 等於 RealNumber and 清單順序 List and PositiveInteger 在列表中 PositiveInteger and List 等於 RealNumberMINUSONE and 減法 RealNumber and 1 等於 RealNumberMINUSONE and 清單順序 List and PositiveInteger 等於 PositiveInteger and 加成 PositiveInteger and PositiveInteger 等於 PositiveInteger and 列表長度 List 等於 RealNumber and 部清單順序 List and PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3943-3948	BankFinancialOrganization 是金融賬戶的 bank 帳號金融賬戶例金融賬戶 and 金融賬戶金融賬戶是被 BankFinancialOrganization held
No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	百分之 RealNumber 在信仰團體的人相信信仰團體 Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and 信仰團體會員 Physical and Collection RealNumber1 是 Collection 的 member 計數位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1565-1570	GeopoliticalArea 在週期 CurrencyMeasure 對於 TimeInterval 的 capital 地區支出 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 capital 地區支出
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23061-23076	Human Human 是 cousins 女人人 Human 的 grandmother 是女人 Human 的 grandfather 是人 Human 的 grandmother 是女人 Human 的 grandfather 是人 Organism Organism 母親 Human and Organism 父親 Human and Organism 母親 Human and Organism 父親 Human and Organism
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3661-3666	TimeInterval 是 CurrencyMeasure 的 currency 交換每美元 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是美國美元的 currency 交換匯率
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3668-3673	UnitOfCurrency 對於 TimeInterval 在週期 CurrencyMeasure 的 currency 交換匯率 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 UnitOfCurrency 的 currency 交換匯率
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7727-7733	AutonomousAgent 是 CognitiveAgent 的 customer Process 例 Process and FinancialTransaction agent Process and AutonomousAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	CognitiveAgent 對於 %3 的 customer 代表 Process 例 Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2781-2786	Object 是 LengthMeasure above 地表 SelfConnectedObject 高度 Object, SelfConnectedObject and LengthMeasure 表面 SelfConnectedObject and 行星地球
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2819-2824	GeopoliticalArea 是對於 TimeInterval 在期間 CurrencyMeasure 的 economic 間贈補助 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 economic 捐贈補助
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2859-2864	GeopoliticalArea 是對於 TimeInterval 在期間 CurrencyMeasure 總共收到的 economic 補助 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 總共收到的 economic 補助
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2056-2061	GeopoliticalArea 是對於 RealNumber 和 TimeInterval 在週期發電從來源的 electricity 分支 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea is 對於 RealNumber 從來源發電的 electricity 分支

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?VOTER and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?VOTER and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election ?VOTING 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER and 強制選舉法
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 持有期間 TimeInterval and 會員 entity and TwelveApostles 持有期間 TimeInterval and entity 是 JesusOfNazareth 的 friend

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: