TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22637-22638
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22634-22634	域會員數, 1 and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22635-22635	域會員數, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22633-22633	例會員數 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1682-1682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1681-1681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37001-37001
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37000-37000
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36999-36999

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 743-747	例 MonoploidChromosomeSet and MonoploidChromosomeSet Integer 是 MonoploidChromosomeSet 的 member 計數 monoploidNumber MonoploidChromosomeSet and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7940-7947	例 Process and LargeGroupProcess 例 Collection and Collection 會員 Physical and Collection Physical 是事件 Process 的 involved Integer 是 Collection 的 member 計數比較多 Integer and 10
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4187-4195	例 Process and Spamming 例 Collection and 一群人 Integer 是 Collection 的 member 計數目的地 Process and Collection 模態屬性比較多 Integer and 100 and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21952-21958	例 Process and 綁架例 Collection and 一群人 Integer 是 Collection 的 member 計數患者 Process and Collection 少於 Integer and 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22679-22683	Integer 是 Collection 的 member 計數 Collection 對於 NonnegativeInteger 的 member 類別計數 Class 大於或等於 Integer and NonnegativeInteger
No TPTP formula. May not be expressible in strict first order.	Government.kif 2074-2078	Integer 是 Organization 在組織的數量 seats Integer 是 Organization 的 member 計數大於或等於 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22640-22646	Integer 是 Collection 的 member 計數等於 Integer and 基數卡帕 SymbolicString and 會員 SymbolicString and Collection

consequent

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.	People.kif 1547-1558	RealNumber percent 的人在 GeographicArea 是 EthnicGroup Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and EthnicGroup 會員 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.	People.kif 1566-1577	百分之 RealNumber 的人在 GeographicArea speak Language Collection Collection, SentientAgent, SentientAgent2, RealNumber1 and RealNumber2 位於 SentientAgent and GeographicArea 會員 SentientAgent and Collection Language 是 SentientAgent 的 speaks 語言 RealNumber1 是 Collection 的 member 計數位於 SentientAgent2 and GeographicArea 會員 SentientAgent2 and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 703-711	chromosomeNumber 真核細胞 and Integer 部分 Object and 真核細胞例 Object and 細胞核例真核細胞OLL and Collection 位於真核細胞OLL and Object Chromosome 是真核細胞OLL 的 member 類別 Integer 是真核細胞OLL 的 member 計數
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 794-803	haploidNumber Gamete and Integer 例 Gamete and Gamete 部分 Object and Gamete 例 Object and 細胞核例 Collection and Collection 位於 Collection and Object Chromosome 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	例 Object and Crystal attribute Object and MonoCrystalline 例 SelfConnectedObject and Substance attribute SelfConnectedObject and 固體 attribute SelfConnectedObject and PolyCrystalline 例 SelfConnectedObject and Substance 表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject ObjectLNT Integer and Object 例 ObjectLNT and Collection Integer 是 ObjectLNT 的 member 計數大於或等於 Integer and 4 會員 Object and ObjectLNT 部分 Object and SelfConnectedObject 空間的符合 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.	Anatomy.kif 1450-1456	例 Collection and Eyebrow attribute Object and Healthy 部分 Collection and Object 會員 Physical and Collection 2 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3528-3533	例 Collection and Fleet AutonomousAgent 有個 fleet 的 Integer 交通工具擁有 AutonomousAgent and Collection Integer 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	StationaryArtifact 能 accommodate 大部分 Integer 的人例 Entity and StationaryArtifact 元件 Entity and 屬性 AutonomousAgent 模態屬性 entity entity 例 entity and 一群人 entity 是 entity 的 member 計數小於或等於 entity and Integer entity stays 在 Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	HotelReservation 也許 have Integer 成人 AutonomousAgent fulfills HotelReservation Collection 例 Collection and 一群人人類成人是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	HotelReservation 也許 have Integer 孩童 AutonomousAgent fulfills HotelReservation Collection Collection 例 Collection and 一群人子集合 Collection and Collection 例 Collection and 一群人人類的孩子是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	HotelReservation 也許 have Integer 居住者 AutonomousAgent fulfills HotelReservation Collection 例 Collection and 一群人 Human 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	Reservation 是對於 PositiveInteger customers AutonomousAgent fulfills Reservation AutonomousAgent reserves Reservation Collection Collection 是個 potential customer 對於 AutonomousAgent 例 Collection and 一群人會員 AutonomousAgent and Collection PositiveInteger 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	HotelReservation 是對於 Integer seniors AutonomousAgent fulfills HotelReservation Collection RealNumber 例 Collection and 一群人 Physical 會員 Physical and Collection 例 Physical and 人類成人年齡 Physical and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 60 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30956-30971	shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity 例 Quantity and Integer 慾望 CognitiveAgent and entity entity 例 entity and Buying 期間何時 entity and TimeInterval objectTransferred entity and entity CurrencyMeasure 是 entity 的 transaction 總額 agent entity and CognitiveAgent 例 entity and Collection Object 是 entity 的 member 類別 Quantity 是 entity 的 member 計數擁有 CognitiveAgent and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30898-30908	shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity 例 Quantity and Integer 慾望 CognitiveAgent and entity 例 entity and Collection Object 是 entity 的 member 類別 Quantity 是 entity 的 member 計數擁有 CognitiveAgent and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30923-30938	shortage AutonomousAgent, Object, CurrencyMeasure, TimeInterval and Integer 例 Integer and Integer Transfer Collection 例 Transfer and Buying 期間何時 Transfer and TimeInterval objectTransferred Transfer and Collection CurrencyMeasure 是 Transfer 的 transaction 總額 agent Transfer and AutonomousAgent 例 Collection and Collection Object 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數擁有 AutonomousAgent and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10386-10398	breathingRate 肺, TimeInterval and Integer Collection Process 例 Collection and Collection Breath 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數會員 Process and Collection 患者 Process and 肺期間何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-800	Region 有對於 Integer 的 capacity 根據 Proposition 代表 Region and Proposition 模態屬性 entity entity 例 entity and 一群人 entity 是 entity 的 member 計數小於或等於 entity and Integer 位於 entity and Region and 可能性
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3117-3133	coilCount WireCoil and Integer Collection 例 Collection and Collection Integer 是 Collection 的 member 計數 Object 會員 Object and Collection attribute Object and 封閉的二維圖部分 Object and WireCoil Object 在空間上重疊 Object and Object 會員 Object and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10345-10357	heartRate 心, TimeInterval and Integer Collection Process 例 Collection and Collection HeartBeat 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數會員 Process and Collection 患者 Process and 心期間何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1125-1138	例 Object and BowlingBall Collection 例 Collection and Collection HoleRegion 是 Collection 的 member 類別 3 是 Collection 的 member 計數位於 Collection and Object 有目的 Collection and entity entity 會員 entity and Collection 例 entity and 手指部分填補 entity and entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	例 Physical and 總線有目的 Physical and entity entity, entity and entity 例 entity and Collection 例 entity and Transportation entity 是 entity 的 member 計數比較多 entity and 11 會員 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 78-88	例 Object and 停車場 Collection Integer 位於 Collection and Object Physical 會員 Physical and Collection 例 Physical and ParkingRegion Integer 是 Collection 的 member 計數比較多 Integer and 1

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: