TreeView Knowledge Base Browser - containsInformation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1648-1650
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1360-1364
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 234-236
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 276-279
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1357-1357	域包含信息, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1358-1358	域包含信息, 2 and Proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1355-1355	例包含信息 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1354-1354	例包含信息 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1369-1369	相關的內部概念包含信息 and containsFormula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1356-1356	子關係包含信息 and 代表

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 81-81
No TPTP formula. May not be expressible in strict first order.	english_format.kif 81-81
No TPTP formula. May not be expressible in strict first order.	french_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 57-57
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1889-1889
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 17-17
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 91-91
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 71-71
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 92-92
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 98-98
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 84-84
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 64-64
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 130-130
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1329-1329	相關的內部概念 ContentBearingObject and 包含信息
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4600-4600	相關的內部概念實現 and 包含信息
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4409-4409	子關係 accountInformation and 包含信息
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 635-635	子關係程序副本 and 包含信息
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 82-82
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16937-16937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16936-16936
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 25-25

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

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.	Government.kif 766-772	TimePosition 是 Proposition 的 agreement 生效其間例 TimePosition and TimePosition 例 Formula and Formula 包含信息 Formula and Proposition 持有期間 TimePosition and Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29639-29653	例 TimeInterval and Confirming agent TimeInterval and 協議包含信息 TimeInterval and Proposition TimeInterval 內容承載物理 and 協議2 例 TimeInterval and Stating 早期 TimeInterval and TimeInterval 例內容承載物理 and ReachingAgreement agent TimeInterval and 協議2 包含信息內容承載物理 and Proposition 包含信息 TimeInterval and Proposition 協議是內容承載物理的 party 協議協議2 是內容承載物理的 party 協議
No TPTP formula. May not be expressible in strict first order.	Government.kif 774-783	例 Proposition and GeopoliticalArea 的 constitution 例 GeopoliticalArea and Nation 等於 Government and 政府 GeopoliticalArea 例何時 Government and TimePosition TimePosition 是 Proposition 的 agreement 生效其間次提案 Proposition and Proposition 包含信息 Formula and Proposition 持有義務 Formula and Government
No TPTP formula. May not be expressible in strict first order.	Media.kif 995-1000	例內容承載物理 and ContractDocument 包含信息內容承載物理 and Proposition 屬性 Proposition and 合同屬性 Proposition and 法
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1527-1533	例 Process and 運營計劃結果 Process and 內容承載物理例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition 例 Proposition and 運作計劃
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1535-1541	例 Proposition and 運作計劃包含信息內容承載物理 and Proposition 例內容承載物理 and ContentBearingObject 結果 Process and 內容承載物理例 Process and 運營計劃
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1573-1580	例 Proposition and 運作計劃例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition 例 Process and 軍事行動結果 Process and 內容承載物理代表 Proposition and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16802-16810	例 Proposition and Plan 例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition PropositionNING 例 PropositionNING and Planning 結果 PropositionNING and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1812-1818	例 Process and 聯合作戰計劃結果 Process and 內容承載物理例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition 例 Proposition and OPLAN
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3025-3032	例 Proposition and Proposition 例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition 例 Process and Communication 患者 Process and 內容承載物理代表 Process and Proposition
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2016-2029	例 Process and SpeakingAtAFasterRate 例 Process and SpeakingAtASlowerRate 例 UnitOfMeasure and UnitOfDuration agent Process and AutonomousAgent agent Process and AutonomousAgent 包含信息 Process and Proposition 包含信息 Process and Proposition 持續時間何時 Process and 測量 RealNumber and UnitOfMeasure 持續時間何時 Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26299-26315	例 Object and Photocopier 儀器 Process and Object 例 Process and Photocopying 患者 Process and 內容承載物理例內容承載物理 and 二維物體例內容承載物理 and VisualContentBearingObject 包含信息內容承載物理 and Proposition 內容承載物理 Object 結果 Process and 內容承載物理例內容承載物理 and 二維物體例內容承載物理 and VisualContentBearingObject 包含信息內容承載物理 and Proposition 位於內容承載物理 and Object 例 Object and PrintedSheet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	子類 ContentBearingObject and 聯合出版物例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Formula 作者 AutonomousAgent and ContentBearingObject Organization 子組織 Organization and 美軍授予義務 Formula, AutonomousAgent and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4589-4593	包含內容實例內容承載物理 and 內容承載物理包含信息內容承載物理 and Proposition 包含信息內容承載物理 and Proposition

consequent

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.	Mid-level-ontology.kif 14072-14077	CognitiveAgent 有義務去做在協議的 Proposition DeonticAttribute 內容承載物理包含信息內容承載物理 and Proposition 協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Government.kif 1029-1038	例 GeopoliticalArea and GeopoliticalArea TimeDuration 是 GeopoliticalArea 的 suffrage 最大年紀 TimeDurationRULE 例 TimeDurationRULE and 選民年齡要求次提案 TimeDurationRULE and GeopoliticalArea 的 regional 法律包含信息 TimeDuration 是 GeopoliticalArea 的 suffrage 最大年紀 and TimeDurationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 957-966	例 GeopoliticalArea and GeopoliticalArea TimeDuration 是 GeopoliticalArea 的 suffrage 最小年紀 TimeDurationRULE 例 TimeDurationRULE and 選民年齡要求次提案 TimeDurationRULE and GeopoliticalArea 的 regional 法律包含信息 TimeDuration 是 GeopoliticalArea 的 suffrage 最小年紀 and TimeDurationRULE
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16842-16851	例爭論 and 有效的演繹論證等於 Formula and 房地爭論結論 Formula and 爭論內容承載物理內容承載物理包含信息內容承載物理 and Formula 包含信息內容承載物理 and Formula 意味 Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29639-29653	例 TimeInterval and Confirming agent TimeInterval and 協議包含信息 TimeInterval and Proposition TimeInterval 內容承載物理 and 協議2 例 TimeInterval and Stating 早期 TimeInterval and TimeInterval 例內容承載物理 and ReachingAgreement agent TimeInterval and 協議2 包含信息內容承載物理 and Proposition 包含信息 TimeInterval and Proposition 協議是內容承載物理的 party 協議協議2 是內容承載物理的 party 協議
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12715-12728	例 Process and Decoding 患者 Process and 內容承載物理 entity 內容承載物理, TimePosition and Proposition 包含信息內容承載物理 and Proposition 包含信息內容承載物理 and Proposition 時間部分 TimePosition and 過去何時 Process 持有期間 TimePosition and 例 entity and Encoding 患者 entity and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10840-10848	例 Process and Planning 結果 Process and 內容承載物理例內容承載物理 and ContentBearingObject Proposition 例 Proposition and Plan 包含信息內容承載物理 and Proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6429-6439	例 Process and Hallucination 體驗者 Process and AutonomousAgent AutonomousAgentER AutonomousAgentROP 例 AutonomousAgentER and Perception 體驗者 AutonomousAgentER and AutonomousAgent 原因 Process and AutonomousAgentER 包含信息 AutonomousAgentER and AutonomousAgentROP 真相 AutonomousAgentROP and 假
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10863-10870	例 Process and 解讀 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and ContentBearingObject entity 持有期間結束何時 Process and 相信 AutonomousAgent and 包含信息 Entity and entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2181-2191	例 Process and Decoding agent Process and CognitiveAgent Formula 知道 CognitiveAgent and Formula Object 儀器 Process and Object 包含信息 Object and Formula
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2169-2179	例 Process and Encoding agent Process and CognitiveAgent Formula 知道 CognitiveAgent and Formula Object 儀器 Process and Object 包含信息 Object and Formula
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	例 Proposition and Plan 例 Physical and Process 代表 Proposition and Physical PropositionNING 內容承載物理例 PropositionNING and Planning 例內容承載物理 and 內容承載物理包含信息內容承載物理 and Proposition 結果 PropositionNING and 內容承載物理早期開始何時 PropositionNING and 開始何時 Physical 早期結束何時 PropositionNING and 結束何時 Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2535-2553	例 Policy and ChildrenPolicy Organization enacts policy Policy Policy covers Object 包含信息 Policy and 模態屬性 entity Organization 是 entity 的 customer 例 entity and 人類的孩子 and 可能性包含信息 Policy and 模態屬性 entity Organization 是 entity 的 customer 例 entity and 人類的孩子 and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2512-2528	例 Policy and PetPolicy Policy covers Object 包含信息 Policy and 模態屬性 entity 例 entity and 家畜位於 entity and Object and 允許包含信息 Policy and 模態屬性 entity 例 entity and 家畜位於 entity and Object and 禁令
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2489-2505	例 Policy and SmokingPolicy Policy covers Object 包含信息 Policy and 模態屬性 entity 例 entity and 抽煙位於 entity and Object and 允許包含信息 Policy and 模態屬性 entity 例 entity and 抽煙位於 entity and Object and 禁令
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3018-3023	例 Proposition and Proposition 例 Proposition and Proposition 的 document 內容承載物理包含信息內容承載物理 and Proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16227-16239	例 Process and 法律傳票患者 Process and 內容承載物理目的地 Process and Entity Entity entity 例 Entity and 法庭室包含信息內容承載物理 and 模態屬性持有期間 entity and 位於 Entity and Entity and 法
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26299-26315	例 Object and Photocopier 儀器 Process and Object 例 Process and Photocopying 患者 Process and 內容承載物理例內容承載物理 and 二維物體例內容承載物理 and VisualContentBearingObject 包含信息內容承載物理 and Proposition 內容承載物理 Object 結果 Process and 內容承載物理例內容承載物理 and 二維物體例內容承載物理 and VisualContentBearingObject 包含信息內容承載物理 and Proposition 位於內容承載物理 and Object 例 Object and PrintedSheet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4589-4593	包含內容實例內容承載物理 and 內容承載物理包含信息內容承載物理 and Proposition 包含信息內容承載物理 and Proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4031-4036	%2 是 %3 的聲明 date 內容承載物理包含信息內容承載物理 and 銀行對帳單日期內容承載物理 and Day
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2702-2707	對於試驗的 final report 是內容承載物理 Proposition 結果試驗 and Proposition 包含信息內容承載物理 and Proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13862-13869	例 Process and 犯罪行為 Formula Proposition and Proposition 模態屬性 Formula and 法包含信息 Formula and Proposition 實現 Process and Proposition Proposition 是 Proposition 的 consistent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 909-916	例 Process and 爭論內容承載物理 Proposition 患者 Process and 內容承載物理例內容承載物理 and 聲明包含信息內容承載物理 and Proposition 例 Proposition and 爭論
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1654-1675	例 entity_OFFER and BestOffering 包含信息 entity_OFFER and entity entity, entity, entity and entity 例 entity and Buying agent entity and entity 患者 entity and entity 測量 entity and entity 是 entity 的 transaction 總額內容承載物理包含信息內容承載物理 and entity2 entity and entity 例 entity2 and Buying agent entity2 and entity 患者 entity2 and entity 測量 entity and entity 是 entity2 的 transaction 總額比較多 entity and entity

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.

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

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Government.kif 1241-1248	包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING 例 ?ELECTION and ?AGENT 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER attribute ?VOTER and 男 and 獨家男性選舉權
No TPTP formula. May not be expressible in strict first order.	Government.kif 923-931	包含信息 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER 例 ?COUNTRY and Nation 例 ?ELECTION and ?COUNTRY 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER 公民 ?VOTER and ?COUNTRY and 選民公民身份要求
No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?AGENT and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?AGENT and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election 能力 ?ELECTION 的 voting , agent and ?AGENT and 普選法
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 強制選舉法

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

KB Term:			Term intersection

English Word: